Program Committee
- Marek Bednarczyk (Gdansk Branch of the Institute of Computer Science)
- Frederic Benhamou (Univ. Nantes, France)
- Leopoldo Bertossi (Carleton University)
- Eike Best (Univ. Oldenburg)
- Nikolaj Bjorner (Microsoft Research, Redmond)
- Swarat Chaudhuri (Rice University)
- Marsha Chechik (University of Toronto)
- Gabriel Ciobanu (Institute of Computer Science, Romanian Academy)
- Volker Diekert (Universität Stuttgart)
- Schahram Dustdar (Vienna University of Technology)
- Dieter Fensel (STI Innsbruck)
- Sergei Gorlatch (Universitaet Muenster)
- Jan Friso Groote (Eindhoven Univ. Technology)
- Arie Gurfinkel (Carnegie Mellon University)
- Joost-Pieter Katoen (RWTH Aachen University)
- Konstantin Korovin (University of Manchester)
- Maciej Koutny (Newcastle University)
- Laura Kovacs (Chalmers University of Technology)
- Gregory Kucherov (University Paris-Est Marne-la-Vallée)
- Kim Guldstrand Larsen (Aalborg University)
- Leonid Libkin (University of Edinburgh)
- Johan Lilius (Ǻbo Akademi University)
- Pericles Loucopoulos (Harokopio University of Athens)
- Andrea Maggiolo-Schettini (Dipartimento di Informatica - Università di Pisa)
- Rupak Majumdar (Max Planck Institute for Software Systems)
- Klaus Meer (Technical University Cottbus)
- Torben Aegidius Mogensen (University of Copenhagen)
- Peter Mosses (Swansea University)
- José Ramón Paramá (University A Coruña)
- Wojciech Penczek (Institute of Computer Science of PAS)
- Peter Pepper (Technische Universität Berlin)
- Alexander Petrenko (Institute for System Programming RAS)
- Paul Pettersson (Mälardalen University)
- Wolfgang Reisig (Humboldt-Universität zu Berlin)
- Andrey Rybalchenko (Technische Universität München)
- Andrei Sabelfeld (Chalmers University of Technology)
- Don Sannella (University of Edinburgh)
- Klaus-Dieter Schewe (Software Competence Centre Hagenberg)
- Konstantin Serebryany (Google)
- Natasha Sharygina (University of Lugano)
- Zhendong Su (University of California, Davis)
- Mark Trakhtenbrot (Holon Institute of Technology)
- Irina Virbitskaite (A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences) - chair
- Andrei Voronkov (University of Manchester) - chair