Program Committee

• Farhad Arbab (CWI and Leiden University)
• David Aspinall (University of Edinburgh)
• Inna Baskakova (Innopolis University) - chair
• Marcello M. Bersani (Politecnico di Milano)
• Eike Best (Universität Oldenburg)
• Nikolaj Bjorner (Microsoft Research)
• Nail Bukharaev (Kazan Federal University)
• Andrea Calì (University of London, Birkbeck College)
• Mauro Caporuscio (Politecnico di Milano)
• Néstor Cataño (Madeira Interactive Technologies Institute)
• Gabriel Ciobanu (Romanian Academy, Institute of Computer Science, Iasi)
• Volker Diekert (University Stuttgart)
• Salvatore Distefano (university of messina)
• Nicola Dragoni (Department of Informatics and Mathematical Modelling, Technical University of Denmark)
• Schahram Dustdar (TU Wien)
• Dieter Fensel (University of Innsbruck, Austria)
• Carlo A. Furia (ETH Zurich)
• Carlo Ghezzi (Politecnico di Milano)
• Sergei Gorlatch (University of Muenster)
• Jan Friso Groote (Eindhoven University of Technology, Department of Computer Science)
• Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University)
• Cliff Jones (Newcastle University)
• Joost-Pieter Katoen (RWTH Aachen University)
• Konstantin Korovin (Manchester University)
• Maciej Koutny (School of Computing Science, Newcastle University)
• Laura Kovacs (Chalmers University of Technology)
• Gregory Kucherov (CNRS/LIGM)
• Johan Lilius (bo Akademi University)
• Anthony Widjaja Lin (Yale-NUS College)
• Zhiming Liu (Birmingham City University, UK)
• Jan Madsen (Technical University of Denmark)
• Rupak Majumdar (MPI-SWS)
• Manuel Mazzara (Innopolis University) - chair
• Klaus Meer (TU Cottbus)
• Hernan Melgratti (Departamento Computación, Universidad de Buenos Aires)
• Bertrand Meyer (ETH Zurich) - chair
• Torben Mogensen (DIKU)
• Peter Mosses (Swansea University)
• Martin Nordio (Chair of Software Engineering, ETH Zurich)
• Jose R. Parama (University of A Coruna)
• Wojciech Penczek (ICS PAS and Siedlce University)
• Peter Pepper (Technische Universität Berlin)
• Alexander K. Petrenko (ISP RAS)
• Paul Pettersson (Mälardalen University)
• Nadia Polikarpova (ETH Zürich)
• Qiang Qu (Innopolis University)
• Wolfgang Reisig (Humboldt-Universitaet zu Berlin)
• Andrey Rybalchenko (Microsoft Research)
• Davide Sangiorgi ()
• Klaus-Dieter Schewe (Software Competence Center Hagenberg)
• Natalia Sidorova (Department of Mathematics and Computer Science, Technische Universiteit Eindhoven)
• Giancarlo Succi (Free University of Bolzano/Bozen)
• Max Talanov (Higher Institute of Information Technologies and Information Systems of Kazan Federal University)
• Alexander Tormasov (Innopolis University)
• Mark Trakhtenbrot (Holon Institute of Technology)
• Kishor Trivedi (Duke University)
• Andrei Voronkov (The University of Manchester) - chair
• Domagoj Vrgoc ()
• Sergey Zykov ()