Workshops and Symposia

The 2021 SEFM Workshops and Symposia provide a highly interactive and collaborative environment for researchers and practitioners from industry and academia to discuss emerging areas of software engineering
and formal methods.

The workshops below will be co-located with SEFM 2021:

CoSim-CPS 2021: Tuesday 7 December 2021

5th Workshop on Formal Co-Simulation of Cyber-Physical Systems

ASYDE 2021: Monday 6 December 2021

3rd International Workshop on Automated and verifiable Software sYstem DEvelopment

OpenCERT 2021: Tuesday 7 December 2021

10th International Workshop on Open Community approaches to Education, Research and Technology

CIFMA 2021: Monday 6 December 2021

3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications

DataMod 2021: Monday 6 and Tuesday 7 December 2021

10th International Symposium From Data to Models and Back