- CoSim-CPS. Formal Co-Simulation of Cyber-Physical Systems.
Organized by: Cinzia Bernardeschi (University of Pisa, Italy), Paolo Masci (Universidade do Minho, Portugal) and Peter Gorm Larsen (Aarhus University, Denmark)
- DataMod. From Data to Models and Back.
Organized by: Paolo Milazzo (University of Pisa, Italy), Vashti Galpin (School of Informatics, University of Edinburgh, United Kingdom) and Andre Teixeira (Delft University of Technology, The Netherlands)
- FAACS. Formal Approaches for Advanced Computing Systems.
Organized by: Paolo Arcaini (Charles University, Czech Republic), Marina Mongiello (Politecnico di Bari, Italy), Elvinia Riccobene (Universita' degli Studi di Milano, Italy) and Patrizia Scandurra (University of Bergamo, Italy)
- FOCLASA. Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems.
Organized by: Carlos Canal (University of Malaga, Spain) and Gwen Salaün (University of Grenoble Alpes, France)
- MSE. Microservices: Science and Engineering.
Organized by: Marcello M. Bersani (Politecnico of Milan, Italy), Luca Ferrucci (ISTI-CNR, Pisa, Italy), Manuel Mazzara (Innopolis University, Russia), Fabrizio Montesi and Nicola Dragoni
- POTENTIAL. Workshop on Technology Transfer in Software Engineering and Formal Methods
Organized by: Roberto Confalonieri (Free University of Bolzano-Bozen, Italy) and Andrea Janes (Free University of Bolzano-Bozen, Italy)