Programme Committee

Programme Committee Chairs

• Irina Virbitskaite
  A.P. Ershov Institute of Informatics Systems & Novosibirsk State University, Novosibirsk, Russia
• Andrei Voronkov
  The University of Manchester, UK

Programme Committee Members

• Marek Bednarczyk, Inst. Comp. Sci., Gdansk, Poland
• Frédéric Benhamou, Univ. Nantes, France
• Leopoldo Bertossi, Carleton Univ., Canada
• Eike Best, Univ. Oldenburg, Germany
• Nikolaj Bjørner, Microsoft Research, Redmond, USA
• Swarat Chaudhuri, Rice Univ., USA
• Marsha Chechik, Univ. Toronto, Canada
• Gabriel Ciobanu, Inst. Comp. Sc. RA, Iasi, Romania
• Volker Diekert, Univ. Stuttgart, Germany
• Schahram Dustdar, Vienna Univ. Technology, Austria
• Dieter Fensel, STI Innsbruck, Austria
• Sergei Gorlatch, Univ. Münster, Germany
• Jan Friso Groote, Eindhoven Univ. Technology, The Netherlands
• Arie Gurfinkel, Carnegie Mellon Univ., USA
• Joost-Pieter Katoen, RWTH Aachen Univ., Germany
• Konstantin Korovin, Univ. Manchester, UK
• Maciej Koutny, Newcastle Univ., UK
• Laura Kovacs, Chalmers Univ. Technology, Gothenburg, Sweden
• Gregory Kucherov, CNRS/LIGM, Marne-la-Vallee, France
• Kim Guldstrand Larsen, Aalborg University, Denmark
• Leonid Libkin, Univ. Edinburgh, UK
• Johan Lilius, Ǻbo Akademi Univ., Turku, Finland
• Pericles Loucopoulos, Loughborough Univ., UK
• Andrea Maggiolo-Schettini, Univ. Pisa, Italy
• Klaus Meer, Tech. Univ. Cottbus, Germany
• Rupak Majumdar, MPI, Kaiserslautern, Germany
• Torben Mogensen, Univ. Copenhagen, Denmark
• Peter Mosses, Swansea Univ., Wales, UK
• José R. Paramá, Univ. A Coruña, Spain
• Wojciech Penczek, Inst. Comp. Sci., Warsaw, Poland
• Peter Pepper, Tech. Univ. Berlin, Germany
• Alexander Petrenko, ISP RAS, Moscow, Russia
• Paul Pettersson , Mälardalen Univ., Sweden
• Andrey Rybalchenko, TUM, Munchen, Germany
• Wolfgang Reisig Humboldt Univ., Berlin, Germany
• Andrei Sabelfeld, Chalmers Univ. Technology, Gothenburg, Sweden
• Donald Sannella, Univ. Edinburgh, UK
• Klaus-Dieter Schewe, Software Competence Centre Hagenberg, Austria
• Konstantin Serebryany, Google, Russia
• Natasha Sharygina, Univ. Lugano, Switzerland
• Zhendong Su, Univ. California Davis, USA
• Mark Trakhtenbrot, Holon Inst. of Technology, Israel