General Chair

Moshe Y. Vardi
Rice University
vardi@cs.rice.edu

Conference Chair

Thomas Ball
Microsoft Research

Jakob Rehof
Universität Dortmund, Germany
jakob.rehof@cs.uni-dortmund.de

Publicity Chair

Stephan Kreutzer
Humboldt-Universität zu Berlin
kreutzer@informatik.hu-berlin.de

Nicole Schweikardt
Humboldt-Universität zu Berlin
schweika@informatik.hu-berlin.de

Organization

Moshe Y. Vardi (General Chair)
Thomas Ball (Conference Chair)
Jakob Rehof (Conference Chair)
Edmund M. Clarke (CAV Representative)
Manuel Hermenegildo (ICLP Representative)
Reiner Hähnle (IJCAR Representative)
Andrei Voronkov (IJCAR Representative)
Phokion G. Kolaitis (LICS Representative)
Aart Middeldorp (RTA Representative)
Henry A. Kautz (SAT Representative)
Stephan Kreutzer (Publicity Chair)
Nicole Schweikardt (Publicity Chair)
Gopal Gupta (Workshops Chair)
Lydia E. Kavraki (Treasurer)