Andrei Voronkov (University of Manchester) |
Sophie Tison (University of Science and Technology of Lille) |
Nikolaj Bjorner (Microsoft Research) |
Geoff Sutcliffe (University of Miami) |
Margus Veanes (Microsoft Research) |
Helene Kirchner (Laboratorie Lorrain De Recherche INRIA) |
Volker Diekert (University of Stuttgart) |
Stephen Watt (The University of Western Ontario) |
Helmut Veith (Vienna University of Technology) |
Rupak Majumdar (University of California, Los Angeles.) |
Orna Kupferman (Hebrew University of Jerusalem) |
Wilfrid Hodges (University of London) |
Roberto Giacobazzi (University of Verona) |
Toby Walsh (The University of New South Wales) |
Leonid Libkin (University of Edinburgh ) |
Yasuhiko Minamide (University of Tsukuba) |
Christian Fermüller (Technology University of Wien) |
Matthias Baaz (University of Technology, Vienna) |
Richard Waldinger (SRI International) |
Tetsuo Ida (University of Tsukuba) |
Sergei Artemov (City University of New York) |
Elvira Albert (Complutense University of Madrid) |
Martin Hofmann (LMU Munich) |
Mitsuhiro Okada (Keio University) |
Marta Kwiatkowska (University of Oxford) |
Armin Biere (Johannes Kepler University) |
Erich Grädel (RWTH Aachen University) |
Frank Pfenning (Carnegie Mellon University) |
Aarti Gupta (NEC Laboratories America) |
Michel Parigot (CNRS - Universit Paris 7) |
Francesca Rossi (University of Padova) |
Ulrike Sattler (University of Manchester) |
Koen Claessen (Chalmers University of Technology) |
Maribel Fernandez (King's College London) |
Laura Kovacs (TU Vienna) |
Deepak Kapur (University of New Mexico) |
Natarajan Shankar (SRI International) |
Alexander Leitsch (Vienna University of Technology) |
Manuel Hermenegildo (T.U. Madrid (UPM) and IMDEA SR I) |
Christoph Weidenbach (Max Planck Institute for Informatics) |