Steering Committee
- Tino Cortesi, Universita' Ca' Foscari, Venice, Italy
- Patrick Cousot, École Normale Supérieure, France
- E. Allen Emerson, University of Texas at Austin, USA
- Giorgio Levi, University of Pisa, Italy
- Andreas Podelski, University of Freiburg, Germany
- Thomas W. Reps, University of Wisconsin at Madison, USA
- David Schmidt, Kansas State University, USA
- Lenore Zuck, University of Illinois at Chicago, USA
Program Chairs
Program Committee
- Roberto Bagnara, University of Parma, Italy
- Christel Baier, Technische Universität Dresden, Germany
- Clark Barrett, New York University, USA
- Tino Cortesi, Universita' Ca' Foscari, Venice, Italy
- Radhia Cousot, CNRS, France
- Nicolas Halbwachs, Vérimag, Grenoble, France
- Tom Henzinger, Ecole Polytechnique Fédérale de Lausanne, Switzerland
- Michael Huth, Imperial College, London, United Kingdom
- Orna Kupferman, Hebrew University, Jerusalem, Israel
- Rustan Leino, Microsoft Research, Redmond, USA
- Francesco Logozzo, Microsoft Research, Redmond, USA
- Alan Mycroft, Cambridge University, United Kingdom
- Catuscia Palamidessi, INRIA, France
- Doron Peled, The University of Warwick, United Kingdom
- Frank Pfenning, Carnegie Mellon University, Pittsburgh, USA
- Andreas Podelski, University of Freiburg, Germany
- Tayssir Touili, CNRS, France
- Andrei Voronokov, The University of Manchester, United Kingdom
- Lenore Zuck, University of Illinois at Chicago, USA