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 (university of bologna)
- Klaus-Dieter Schewe (Software Competence Center Hagenberg)
- Natalia Sidorova (Department of Mathematics and Computer Science, Technische Universiteit Eindhoven)
- Giancarlo Succi (Free University of Bozen-Bolzano)
- 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 (Center for Semantic Web Research)
- Sergey Zykov (Higher School of Economics)
