Animation and exchanges in the Petri Nets community

[address@concealed]

The 27th International Conference on Formal Engineering Methods (ICFEM) 17–20 November 2026 , Southampton, UK https://icfem2026.github.io/ ICFEM is an internationally leading conference series in formal methods and software engineering. Since 1997, ICFEM has served as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners from industry, academia, and government are encouraged to attend, present their research, and help advance the state of the art. ICFEM is interested in work that has been incorporated into real production systems, as well as in theoretical work that promises to bring practical and tangible benefits. ICFEM has been hosted in many countries around the world. This year, the 27th International Conference on Formal Engineering Methods will be held in Southampton, UK. ICFEM 2026 welcomes submissions from researchers and practitioners worldwide to advance the field of formal methods and software engineering.

          Important Dates (AoE):

Abstract
                submission:
                15 June 2026
          
          
            Full
                paper submission:
                22 June 2026
          
          
            Notification: 8
                  August 2026
          
          
            Camera-ready:
                7 September 2026
          
          
            Conference:
                17–20 November 2026
          
        
        
          More
            information and submission details:
          https://icfem2026.github.io/
        
          Co-located
            Workshop: The Eighth International Workshop on Formal
              Methods for Autonomous Systems (FMAS 2026)
          https://fmasworkshop.github.io/FMAS2026/

Asieh Salehi Fathabadi
Lecturer in Computer Science
Cyber Physical Systems
School of Electronics and Computer Science
Faculty of Engineering and Physical Sciences
University of Southampton