Programme Committee

Sergey Avdoshin, Higher School of Economics, Moscow.
Marcello M. Bersani, Politecnico di Milano.
Eike Best, University of Oldenburg.
Dines Bjørner, Technical University of Denmark.
Nikolaj Bjørner, Microsoft Research.
Andrea Calì, Department of Computer Science and Information Systems Birkbeck, University of London.
Mauro Caporuscio, Linnaeus University.
Gabriel Ciobanu, Alexandru Ioan Cuza University.
Volker Diekert, University Stuttgart.
Salvatore Distefano, Polytechnic University of Milan.
Nicola Dragoni, Technical University of Denmark.
Schahram Dustdar, TU Wien.
Carlo A. Furia, ETH Zurich.
Vladimir Galaktionov, Keldysh Institute of Applied Mathematics.
Carlo Ghezzi, Polytechnic University of Milan.
Sergei Gorlatch, Universität Münster.
Arie Gurfinkel, University of Waterloo.
Cliff Jones, Newcastle University.
Joost-Pieter Katoen, RWTH Aachen University.
Konstantin Korovin, School of Computer Science, The University of Manchester.
Maciej Koutny, Newcastle University, UK.
Laura Kovacs, Chalmers University of Technology.
Gregory Kucherov, University Paris-Est Marne-la-Vallée.
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.
Klaus Meer, TU Cottbus.
Hernan Melgratti, Universidad de Buenos Aires.
Torben Mogensen, DIKU.
Peter Mosses, Swansea University.
Martin Nordio, 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 – chair, ISP RAS, Moscow.
Wolfgang Reisig, Humboldt University of Berlin.
Andrey Rybalchenko, Microsoft Research.
Davide Sangiorgi, University of Bologna, Italy.
Klaus-Dieter Schewe, Software Competence Center Hagenberg.
Vitaliy Semenov, ISP RAS.
Natalia Sidorova, Eindhoven University of Technology.
Mark Trakhtenbrot, Holon Institute of Technology.
Irina Virbitskaite, IIS, Novosibirsk.
Andrei Voronkov – chair, University of Manchester.
Domagoj Vrgoc, Pontifical Catholic University of Chile.
Sergey Zykov, Higher School of Economics, Moscow.

Organizing committee

Irina Gerhart.
Viktoria Gingina.
Tatyana Klimova.
Mikhail Kalugin.
Anna Novomlinskaya.
Oleg Samovarov