FM 2024

FM 2024 is the 26th International Symposium on Formal Methods, organized by Formal Methods Europe (FME), an independent association.Aims to promote the use and research of formal methods for software development. FM workshops successfully bring together researchers and industrial users around original papers, workshops, tutorials, tool reports, projects and ongoing doctoral studies on research and industrial experience. FM 2024 is both an occasion for celebration and a platform for enthusiastic researchers and practitioners from different backgrounds to exchange ideas and share experiences.

FM 2024 will focus on the development and application of formal methods in a wide range of areas, including trustworthy artificial intelligence, software, computer-based systems, systems of systems, cyber-physical systems, security, human-computer interaction, manufacturing, sustainability, energy, transportation, smart cities, healthcare, and biology. We particularly welcome papers on techniques, tools, and experiences in interdisciplinary settings. We also welcome papers on experiences in applying formal methods in industrial settings and on the design and verification of formal methods tools.

Topics for FM 2024 include but are not limited to:

Interdisciplinary Formal Methods:Demonstrate techniques, tools, and experiences using formal methods in an interdisciplinary setting. Formal methods in practice include: industrial applications of formal methods, experiences with industrial formal methods, tool usage reports, and experiments on challenging problems. We encourage authors to explain how formal methods overcome problems, improve designs, or provide new insights.

Formal methods tools:Advances in automated verification, model checking and testing with formal methods, tool integration, formal methods environments, and experimental validation of tools. Authors are encouraged to demonstrate empirically that a new tool or environment advances the state of the art.
Formal methods in software and systems engineering: Development processes using formal methods, guidelines for the use of formal methods, and method integration. Authors are encouraged to evaluate process innovations in terms of qualitative or quantitative improvements. Empirical studies and evaluations are also solicited.

Theoretical basis of formal methods:All aspects of theory related to specification, verification, refinement, and static and dynamic analysis. Authors are encouraged to explain how their results can contribute to solving real problems using formal methods or tools.

Embedded System Topics: FM 2024 will organize a special topic on Embedded Systems in collaboration with ACM SIGBED. This course will focus on theory, methods, and tools that are formal in nature and applied to embedded, real-time, and cyber-physical systems.