Tutoriaux (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)

Conférences techniques (1h30)

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

Controller Synthesis
Laurent Doyen (EPFL, Lausanne, Switzerland)

Static analysis
Andreas Podelski (Institut für Informatik, University of Freiburg, Germany)
Binary code analysis
Thomas W. Reps (University of Wisconsin-Madison, WI, USA)

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