Movep’08

Tutorials

• 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

• 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)