June 23-27, 2008       Orleans, France organised and funded by ARTIST 



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

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

  • Verification of Hybrid Systems
    Goran Frehse (Verimag, Grenoble, 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)

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet