Workshops

Accepted Workshops

  • 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)


Ċ
Gianni Zampedri,
Dec 20, 2016, 12:54 AM
ċ
SEFM-2017-CfW.txt
(7k)
Gianni Zampedri,
Dec 20, 2016, 12:54 AM