Workshops

The following workshops will be co-located with SEFM 2026 on 23-24 of November 2026. Workshops will be held at the University of Malta Valletta Campus.

• STARS 2026, Date TBA, 1st International Workshop on Static and Runtime Verification Synergies

  Organised by Alceste Scalas (Technical University of Denmark, Denmark) and Adrian Francalanza (University of Malta, Malta).

• CIFMA 2026, Date TBA, 8th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications

  Organised by Edoardo Datteri (University of Milano-Bicocca, Italy) and Stefano M. Nicoletti (University of Twente, Netherlands).

• ReacTS 2026, Date TBA, 3rd International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications

  Organised by Daniel Figueiredo (University of Aveiro, Portugal) and Duncan Paul Attard (University of Malta, Malta).

• DataMod 2026, 23-24 of November, 14th International Symposium - From Data to Models and Back

  Organised by Ivan Compagnucci (Gran Sasso Science Institute, Italy), Silvia Giulia Galfrè (University of Pisa, Italy), and Paolo Milazzo (University of Pisa, Italy).