Workshops

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
  • POTENTIAL. Workshop on Technology Transfer in Software Engineering and Formal Methods (4 September)
Organized by: Roberto Confalonieri (Free University of Bolzano-Bozen, Italy) and Andrea Janes (Free University of Bolzano-Bozen, Italy)
  • 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) 

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