Committee

Steering Committee

General Chair: Moshe Y. Vardi
Conference Co-chairs: Leonid Libkin, Gordon Plotkin
CAV Representative: Edmund Clarke
CSF Representative: Graham Steel
ICLP Representative: Manuel Hermenegildo
IJCAR Representative: Alan Bundy
ITP Representative: Tobias Nipkow
LICS Representative: Martin Abadi
RTA Representative: Jurgen Giesl
SAT Representative: Enrico Giunchiglia
EasyChair Representative: Andrei Voronkov

Program Committee Chairs

for CAV: Tayssir Touili, Byron Cook
for CSF: Michael Backes, Andrew C. Myers
for ICLP: Manuel Hermenegildo, Torsten Schaub
for IJCAR: Jurgen Giesl, Reiner Haehnle
for ITP: Matt Kaufmann, Lawrence C. Paulson
for LICS: Jean-Pierre Jouannaud
for RTA: Chris Lynch
for SAT: Stefan Szeider, Ofer Strichman

Organizing Committee

Conference Co-chairs: Leonid Libkin, Gordon Plotkin
for the Steering Committee: Moshe Y. Vardi
Workshop Chair: Philip Scott
Publicity Chair: Nicole Schweikardt
Book exhibit chair: Stephan Kreutzer
Student Travel Grant Coordinator: Seth Fogarty

Local Organizing Committee

Venue Coordinator: Floris Geerts
Volunteer Coordinator: Kousha Etessami
Fundraising Coordinator: Anuj Dawar
Web site: Bartek Klin, Perdita Stevens, Claire David
Registration Coordinator: Ian Stark
AV/WiFi Coordinator: Paul Jackson
Book exhibits: Stephan Kreutzer
Proceedings Coordinator: Jacques Fleuriot
Conference Brochure: Tony Tan

See also the list of contact e-mail addresses.