Conference Information

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

Please Login to view website of conference
Free account: view official websites, track deadlines, and get email reminders.
Login Register

Submission Date:
2026-10-15 Due in 110 days
Notification Date:
2026-12-22
Conference Date:
2027-04-10
Location:
Copenhagen, Denmark
Viewed: 442   Tracked: 0   Attend: 0

Call For Papers

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
Last updated by Dou Sun on

Related Conferences

Related Journals

CCFFull NameImpact FactorPublisherISSN
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 Systems6.1Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655
BPattern Recognition7.6Elsevier0031-3203

Comments 0

No comments yet.

Please Login to post a comment