Moscow, Russia
June 27-29, 2017

Vinaora Nivo Slider 3.xVinaora Nivo Slider 3.xVinaora Nivo Slider 3.xVinaora Nivo Slider 3.x

Organizers

ISP RAS

Higher School of Economics

A.P. Ershov Institute of Informatics Systems

Novosibirsk State University

With the support of

Russian Academy of Sciences

The Federal Agency for Scientific Organizations

RFBR


Contacts

E-mail: psiconf2017@gmail.com

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.
Nicolas 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. Petrenkochair, 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 Voronkovchair, University of Manchester.
Domagoj Vrgoc, Pontifical Catholic University of Chile.
Sergey Zykov, Higher School of Economics, Moscow.

Organizing committee

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