Tutorials (2h30)

Computational systems biology
Vincent Danos (University Denis Diderot, Paris, France)

Games
Christof Löding (RWTH Aachen University, Germany)

Verification of Probabilistic Systems
Dave Parker (Computing Laboratory, University of Oxford, UK)

Verification of Hybrid Systems
Goran Frehse (Verimag, Grenoble, France)

Timed Systems
Nicolas Markey (LSV, Cachan, France)

Security (Formal methods and provable security)
Yassine Lakhnech (Verimag, Grenoble, France)

Technical talks (1h30)

Verification of infinite state probabilistic systems
Antonin Kucera (MUNI, Brno, Czech Republic)

Games for Controller Synthesis
Laurent Doyen (EPFL, Lausanne, Switzerland)

Static analysis
Andrey Rybalchenko (Institut für Informatik, University of Freiburg, Germany)
WYSINWYX: What You See Is Not What You eXecute
Thomas W. Reps (University of Wisconsin-Madison, WI, USA)

Hierarchical Control of Discrete Event Systems. An automata based approach.
José E.R. Cury (Universidade Federal de Santa Catarina, Florianopolis, Brazil)