Programme Committee Chairs

• Edmund M. Clarke
  Carnegie Mellon University, Pittsburgh, USA
• Irina Virbitskaite
  A.P. Ershov Institute of Informatics Systems & Novosibirsk State University, Novosibirsk, Russia
• Andrei Voronkov
  The University of Manchester, UK

Programme Committee Members

• Samson Abramsky, Oxford Univ., UK
• Frédéric Benhamou, Univ. Nantes, France
• Leopoldo Bertossi, Carleton Univ., Canada
• Eike Best, Univ. of Oldenburg, Germany
• Kim Bruce, Pomona College, California, USA
• Mikhail Bulyonkov, IIS SB RAS, Novosibirsk, Russia
• Gabriel Ciobanu, Inst. Comp. Sc. RA, Iaşi, Romania
• Dieter Fensel, STI Innsbruck, Austria
• Jean Claude Fernandez, Univ. J. Fourier, Grenoble, France
• Jan Friso Groote, Eindhoven Univ. of Techn., The Netherlands
• Heinrich Herre, University of Leipzig, Germany
• Victor Kasyanov, IIS SB RAS, Novosibirsk, Russia
• Joost-Pieter Katoen, RWTH Aachen Univ., Germany
• Laura Kovacs, Vienna University of Technology, Austria
• Gregory Kucherov, CNRS/LIFL/INRIA, Lille, France
• Kim Guldstrand Larsen, Aalborg University, Denmark
• Johan Lilius, Ǻbo Akademi Univ., Turku, Finland
• Pericles Loucopoulos, Loughborough Univ., UK
• Andrea Maggiolo-Schettini, Univ. Pisa, Italy
• Klaus Meer, Techn. Univ. Cottbus, Germany
• Dominique Méry, Univ. Henri Poincaré, Nancy, France
• Torben Mogensen, Univ. Copenhagen, Denmark
• Hanspeter Mössenböck, JK Univ. Linz, Austria
• Peter Mosses, Swansea Univ., Wales, UK
• Peter Müller, ETH, Zürich, Switzerland
• Valery Nepomniaschy, IIS SB RAS, Russia
• Nikolaj Nikitchenko, Nat. Univ. Kiev, Ukraine
• José R. Paramá, Univ. A Coruña, Spain
• Francesco Parisi-Presicce, Univ. "La Sapienza", Rome, Italy
• Wojciech Penczek, Inst. Comp. Sci., Warsaw, Poland
• Peter Pepper, Tech. Univ. Berlin, Germany
• Alexander Petrenko, ISP RAS, Moscow, Russia
• Jaroslav Pokorný, Charles U., Prague, Czech Republic
• Vladimir Polutin, HP Labs, Russia
• Wolfgang Reisig, Humboldt Univ., Berlin, Germany
• Donald Sannella, University of Edinburgh, UK
• Klaus-Dieter Schewe, Software Competence Centre Hagenberg, Austria
• David Schmidt, Kansas State Univ., Manhattan, USA
• Alexander Semenov, Intel, Novosibirsk, Russia
• Nikolay Shilov, IIS SB RAS, Novosibirsk, Russia
• Val Tannen, Univ. Pennsylvania, USA
• Lothar Thiele, ETH Zurich, Switzerland
• Alexander Tomilin, IPS RAS, Moscow, Russia
• Mark Trakhtenbrot, Holon Inst. of Technology, Israel
• Alexander L. Wolf, Imperial College London, UK
• Tatyana Yakhno, Izmir Univ., Izmir, Turkey
• Wang Yi, Uppsala Univ., Sweden