Workshops

Harnessing Theories for Tool Support in Software (TTSS)

canceled

Organizers:
  • Volker Stolz, University of Oslo, Norway
  • Michael Lienhardt, University of Bologna, Italy

Logics and Model-checking for Self-* Systems (MOD*)

Organizers:
  • Marcello M. Bersani, Politecnico di Milano, Italy
  • Davide Bresolin, University of Bologna, Italy
  • Luca Ferrucci, Politecnico di Milano, Italy
  • Manuel Mazzara, Politecnico di Milano, Italy

Tools and Methods for Cyber-Physical Systems of Systems

Organizers:
  • John Fitzgerald, Newcastle University, UK
  • Wan Fokkink, VU University Amsterdam, The Netherlands
  • Michel Reniers, Technical University Eindhoven, The Netherlands
The agenda of the meeting in pdf is available here.

Workshop on Contracts for Efficient and Reliable Services

Organizers:
  • Mario Bravetti, University of Bologna/INRIA, Italy
  • Elena Giachino, University of Bologna/INRIA, Italy

Formal Methods: Business Impact of Application to Security relevant Devices (FM-BIASED)

Organizers:
  • Beatrice Albè, Novareckon S.R.L., Italy
  • Alberto Stefanini, Novareckon S.R.L., Italy