Software Engineering and Formal Methods (SEFM 2026)
Event: SEFM 2026 to be hosted by UM’s Computer Science Department
Date: 23-27 November 2026
Time: 08:30-17:30
Venue: University of Malta, Valletta Campus
The 24th International Conference on Software Engineering and Formal Methods (SEFM 2026) will be hosted by the Computer Science Department at the University of Malta between 23 November and 27 November.
SEFM brings together researchers and practitioners working at the intersection of software engineering and formal methods. Topics covered include:
- AI and machine learning verification,
- Security, safety and dependable systems,
- Formal verification and program reasoning, and
- Testing, monitoring and assurance.
SEFM 2026 will feature four workshops:
- STARS: the 1st International Workshop on Static and Runtime Verification Synergies,
- ReacTS: 3rd International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications,
- CIFMA: 8th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, and
- DataMod: 14th International Symposium - From Data to Models and Back.
SEFM 2026 is pleased to welcome two distinguished keynote speakers, who will share their perspectives on important challenges in software engineering and formal methods: - “From Intent to Guarantees: Building Trustworthy Software Systems” - Dalal Alrajeh from Imperial College London, UK, and
- “Reading Between the Lines of Code” - Elizabeth Polgreen from the University of Edinburgh, UK.
The full programme is available online.
Early-bird registration is open till 23 October, and is also available online.
For any queries, please contact the General Chair, Prof. Adrian Francalanza.
