会議情報

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
閲覧: 1223   フォロー: 0   参加: 0

会伴インデックス (CP-I)

44.0 / 100
全 5,687 件中 第 3,225 位 · 上位 57%

ソフトウェア工学 分野 247 件中 第 180 位

根拠が限られています:この会議は 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

まだコメントはありません。

コメントするにはログインしてください