会议信息

iFS 2027: International Conference on Foundations and Formal Methods for Software and Systems

请登录查看会议网址
免费注册：查看官网链接、跟踪截稿日期，并接收邮件提醒。
注册 登录
嵌入截止倒计时徽章
iFS
用 API 获取这条数据
搜索与榜单列表完全无需凭证；本页的完整详情需要一把免费 API 密钥。详见开发者接入页。
截稿日期:
2026-10-15 还有 19 天
通知日期:
2026-12-22
会议日期:
2027-04-10
会议地点:
Copenhagen, Denmark
浏览: 1224   关注: 0   参加: 0

会伴指数 (CP-I)

44.0 / 100
全站第 3,225 名 / 共 5,687 个会议 · 前 57%

软件工程 第 180 / 247

证据有限：这个会议不在 CCF / ICORE / QUALIS 任何一份榜单里，也没有录用率数据，因此分数的大部分回落到了中性基准。
学术认可 (35%) 无数据 —— 按中性基准 50 分计入 —
投稿选择性 (20%) 无数据 —— 按中性基准 50 分计入 —
会议传承 (20%) 无数据 —— 按中性基准 50 分计入 —
社区关注 (10%)
12
资料公开度 (15%)
35

用到的输入: 过去 24 个月打开过本页的研究者：4 人

公开资料里还缺: 历年录用率 (+4.5) · 历届信息 (+3.0) · 最佳论文记录 (+2.3)
主办方认领本会议后，可直接在这一页补上；分数每晚重算。如何提升这个分数

置信度 25% —— 分数中有多大比例来自实际观测到的数据，而不是中性基准。 这个分数是怎么算出来的 · 查看完整榜单 · 算法版本 1.1 · 算于 2026-09-25

征稿

iFS 2027 (International Conference on Foundations and Formal Methods for Software and Systems) is an academic conference held in Copenhagen, Denmark on 2027-04-10. The paper submission deadline is 2026-10-15. Acceptance notifications are sent on 2026-12-22.

Scope of Interest iFS focuses on methodological advances for software and systems engineering spanning formal methods and other systematic approaches to achieve the next levels of quality. iFS focuses on methodological advances for software and systems engineering to achieve the next levels of quality. The scope of the conference spans formal methods and other systematic approaches for the creation and analysis of software and systems, such as requirements and specification, design, construction, verification, and testing. Research presented at iFS introduces, advances, or investigates individual as well as integrated methods, and is supported by rigorous evidence, like proofs or trustworthy experiments. iFS solicits contributions that address foundations and formal methods as well as tool support for among others: Requirements, specification, modeling, design, and synthesis of software and systems Integrated methods combining verification, testing, simulation, etc. Formal verification and analysis, e.g., program verification, model checking, static analysis, theorem proving, decision procedures, SAT and SMT solving Formal and semi-formal modeling languages and notations Integration of heterogeneous modeling languages and notations Models and relations between abstractions for system design and analysis AI for software and systems engineering and software and systems engineering for AI Methods for supporting the evolution of software and systems Ethical aspects of software and systems engineering Integration of methods into engineering practice
由 Dou Sun 最后更新于

相关会议

相关期刊

CCF全称影响因子出版商ISSN
Foundations of Computational Mathematics2.7Springer1615-3375
Optimization Methods and Software1.4Taylor & Francis1055-6788
AIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems5.9Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655
BPattern Recognition7.6Elsevier0031-3203

评论 0

暂无评论。

请登录后发表评论