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.