Program Committee

  • Christel Baier,
    Fakultät Informatik, TU Dresden, Germany
  • Bernard Boigelot,
    Montefiore Institute, University of Liège, Belgium
  • Luca de Alfaro,
    Baskin School of Engineering, University of California, Santa Cruz, California, USA
  • Dino Distefano,
    Department of Computer Science, Queen Mary, University of London, UK
  • Javier Esparza,
    Faculty of Computer Science, TU Munich, Germany
  • Peter Habermehl (co-chair),
    LSV, École Normale Supérieure de Cachan, CNRS, INRIA, France and
    LIAFA, Université Denis Diderot---Paris 7, CNRS, France
  • Radu Iosif,
    VERIMAG, Université Joseph Fourier/INPG/CNRS, Grenoble, France
  • Anca Muscholl,
    LaBRI, Université Bordeaux 1/CNRS, France
  • Jiří Srba,
    BRICS, University of Aalborg, Denmark
  • Stavros Tripakis,
    Cadence Research Laboratories, Berkeley, California, USA
  • Tomáš Vojnar (co-chair),
    Faculty of Information Technology, Brno University of Technology, Czech Republic