19th International Conference on Integrated Formal Methods
The International Conference on Integrated Formal Methods (iFM) is a premier academic event focused on exploring topics such as model checking, theorem proving, and formal verification. It aims to develop new techniques that integrate multiple formal methods and bridge the gap between theory and practical application. iFM significantly impacts fields like software engineering, system design, security, and verification by addressing the complexities of modern systems and enhancing system verification and design processes. This approach promotes safer, more reliable, and efficient computational systems.
Prof. Laura Kovács, a prominent member of the CySec Faculty and Head of the Formal Methods in Systems Engineering Research Unit (FORSYTE, served as the PC Chair at iFM 2024. Alongside her, Daniela Kaufmann, a research fellow in the Automated Program Reasoning (APRe group, played a significant role as a Program Committee member and co-chair of Artifact Evaluation. Thomas Hader, a PreDoc Researcher at FORSYTE and a student at DC SecInt, contributed as a member of the Artifact Evaluation Program Committee.
The conference, renowned for its extensive program, featured keynote speeches from industry leaders, peer-reviewed academic papers, and insightful discussions. This diverse format provided a dynamic platform that significantly enhanced networking opportunities and fostered collaboration among attendees from various disciplines, enriching both the academic and professional experiences of all participants. The contributions of the FORSYTE group, led by Prof. Kovács, underscored the event’s emphasis on cutting-edge research in formal methods in systems engineering.
