PC + Organizers

Chair

Program Committee

Alessandro Armando, Università degli Studi di Genova and FBK Trento, Italy
Peter Baumgartner, NICTA and Australian National University, Australia
Christoph Benzmüller, Freie Universität Berlin, Germany
Maria Paola Bonacina, Università degli Studi di Verona, Italy (Chair)
Cristina Borralleras, Universitat de Vic, Spain
Thierry Boy De La Tour, Université de Grenoble, France
Évelyne Contejean, CNRS and Université de Paris-Sud, France
Leonardo De Moura, Microsoft Research, USA
StĂ©phanie Delaune, CNRS and École Normale SupĂ©rieure de Cachan, France
Clare Dixon, University of Liverpool, UK
Pascal Fontaine, Université de Lorraine and LORIA, France
Ulrich Furbach, Universität Koblenz-Landau, Germany
Ruben Gamboa, University of Wyoming, USA
Jürgen Giesl, RWTH Aachen, Germany
Paul B. Jackson, University of Edinburgh, UK
Predrag Janicic, Univerzitet u Beogradu, Serbia
Hélène Kirchner, INRIA Rocquencourt, France
Konstantin Korovin, University of Manchester, UK
K. Rustan M. Leino, Microsoft Research, USA
Christopher A. Lynch, Clarkson University, USA
César Muñoz, NASA Langley, USA
Neil V. Murray, SUNY at Albany, USA
Lawrence C. Paulson, University of Cambridge, UK
Frank Pfenning, Carnegie Mellon University, USA
Brigitte Pientka, McGill University, Canada
David A. Plaisted, University of North Carolina at Chapel Hill, USA
Christophe Ringeissen, LORIA and INRIA Nancy-Grand Est, France
Ulrike Sattler, University of Manchester, UK
Renate A. Schmidt, University of Manchester, UK
Manfred Schmidt-Schauss, Johann Wolfgang Goethe Universität, Germany
Stephan Schulz, Technische Universität München, Germany
Viorica Sofronie-Stokkermans, Universität Koblenz-Landau and MPI für Informatik, Germany
Ashish Tiwari, SRI International, USA
Uwe Waldmann, MPI für Informatik, Germany
Christoph Weidenbach, MPI für Informatik, Germany
Jian Zhang, Chinese Academy of Sciences, P.R. China

Organizers

Chris Lynch, Conference Co-Chair
Neil V. Murray, Conference Co-Chair
Maria Paola Bonacina, Program Committee Chair
Peter Baumgartner, Tutorial Chair
Christoph Benzmueller, Workshop and Competition Chair
Grant Olney Passmore, Publicity and Web Chair