SEFM 2019 will host the following workshops in conjunction with SEFM main conference. For more details on the workshops, please refer to their websites.
- FOCLASA 2019
- 17th International Workshop on Coordination and Self-adaptativeness of Software Applications
- COSIM-CPS-19
- 3rd Workshop on Formal Co-Simulation of Cyber-Physical Systems
- ASYDE 2019
- International Workshop on Automated and verifiable Software sYstem DEvelopment
- CIFMA 2019
- International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications
