SEFM’17 Affiliated Workshops

  • FAACS. Formal Approaches for Advanced Computing Systems. (4 September)

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)

  • MSE. Microservices: Science and Engineering. (4 September)

Organized by: Marcello M. Bersani (Politecnico of Milan, Italy), Antonio Bucchiarone (FBK, Italy), Luca Ferrucci (ISTI-CNR, Pisa, Italy), Manuel Mazzara (Innopolis University, Russia), Fabrizio Montesi and Nicola Dragoni

  • DataMod. From Data to Models and Back. (4-5 September)

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)

  • CoSim-CPS. Formal Co-Simulation of Cyber-Physical Systems. (5 September)

Organized by: Cinzia Bernardeschi (University of Pisa, Italy), Paolo Masci (Universidade do Minho, Portugal) and Peter Gorm Larsen (Aarhus University, Denmark)

  • FOCLASA. Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems. (5 September)

Organized by: Carlos Canal (University of Malaga, Spain) and Gwen Salaün (University of Grenoble Alpes, France)

LNCS 10729 is available online. You can find information about here or access the online version at this link.