STAF Workshops 2018: Toulouse, France

Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS)

From Data to Models and Back (DataMod)

Formal Methods for Interactive Systems (FMIS)

Foundations of Coordination Languages and Self-adaptative Systems (FOCLASA)

Graph Computation Models (GCM)

Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun)

Microservices: Science and Engineering (MSE)

Security for and by Model-Driven Engineering (MDE)

maintained by Schloss Dagstuhl LZI at University of Trier