Conference Chair
Alexander Marchuk, A.P. Ershov Institute of Informatics Systems & Novosibirsk State University, Novosibirsk, Russia
Steering Committee
- Kim Guldstrand Larsen, Aalborg University, Denmark
- Bertrand Meyer, ETH, Zurich, Switzerland & Innopolis University, Kazan, Russia
- Vladimiro Sassone, University of Southampton, UK
- Michael Gerard Hinchey, Limerick, Ireland
- Sriram Rajamani, Microsoft Research India
- Igor Agamirzian, Higher School of Economics, Russia.
Program Committee Chairs
- Nikolaj Bjørner, Microsoft Research, Redmond, USA
- Irina Virbitskaite, A.P. Ershov Institute of Informatics Systems & Novosibirsk State University, Novosibirsk, Russia
- Andrei Voronkov, University of Manchester, UK
Program Committee Members
- Marcello M. Bersani, Politecnico di Milano, Italy
- Leopoldo Bertossi, Carleton University, Canada
- Andrea Calì, London University, UK
- Marsha Chechik, Toronto University, Canada
- Volker Diekert, Stuttgart University, Germany
- Salvatore Distefano, Messina University, Italy
- Hans van Ditmarsch, LORIA, France
- Nicola Dragoni, Technical University of Denmark, Denmark
- Schahram Dustdar, TU Wien, Austria
- Dieter Fensel, STI Innsbruck, Austria
- Carlo A. Furia, Università della Svizzera Italiana, Italy
- Valentin Goranko, Stockholm University, Sweden
- Sergei Gorlatch, Muenster University, Germany
- Damas Gruska, Comenius University, Slovakia
- Arie Gurfinkel, Carnegie Mellon University, USA
- Konstantin Korovin, Manchester University, UK
- Maciej Koutny, Newcastle University, UK
- Laura Kovács, Vienna University of Technology, Austria
- Manuel Mazzara, Innopolis University, Russia
- Klaus Meer, Brandenburg University of Technology Cottbus-Senftenberg, Germany
- Torben Ægidius Mogensen, DIKU, Denmark
- Peter D. Mosses, Swansea University, UK
- José Ramón Paramá Gabía, University of A Coruña, Spain
- Wojciech Penczek, Institute of Computer Science PAS, Poland
- Alexander Petrenko, National Research University Higher School of Economics, Russia
- Alberto Pettorossi, University of Rome Tor Vergata, Italy
- Qiang Qu, SIAT, China
- Wolfgang Reisig, Humboldt-University of Berlin, Germany
- Andrei Sabelfeld, Chalmers University of Technology, Sweden
- Davide Sangiorgi, Bologna University, Italy
- Cristina Seceleanu, Mälardalen University, Sweden
- Natalia Sidorova, Technical University Eindhoven, Netherlands
- Giancarlo Succi, Innopolis University, Russia
- Mark Trakhtenbrot, Holon Institute of Technology, Israel
- Enrique Herrera Viedma, University of Granada, Spain
- Matthias Weidlich, Humboldt-Universitat zu Berlin, Germany
Publicity Chairs
- Natalia Garanina, A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia
- Denis Ponomaryov, A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia
Conference Secretaries
A.P. Ershov Institute of Informatics Systems,
Russian Academy of Sciences, Siberian Branch
6, Acad. Lavrentjev pr., Novosibirsk 630090, Russia
tel: +7 383 330 73 52,
fax: +7 383 332 34 94,
psiconf2019@gmail.com
Organizing Committee Members
- Alexander Marchuk - Chair, IIS SB RAS, Novosibirsk State University;
- Elena Pak - Vice-Chair, IIS SB RAS;
- Irina Akhmadeyeva, Novosibirsk State University;
- Gennady Alekseev, IIS SB RAS;
- Galina Babenko, IIS SB RAS;
- Tatiana Batura, Novosibirsk State University;
- Olesya Borovikova, IIS SB RAS;
- Elena Bozhenkova, Novosibirsk State University;
- Tatiana Bulionkova, IIS SB RAS;
- Alexander Bystrov, Novosibirsk State University;
- Lilia Demina, IIS SB RAS;
- Elena Kasyanova, Novosibirsk State University;
- Mariia Kolesnikova, IIS SB RAS;
- Mariia Kulik, IIS SB RAS;
- Serguey Mylnikov, IIS SB RAS;
- Tatiana Nesterenko, Novosibirsk State University;
- Vladimir Philippov, IIS SB RAS;
- Marina Philippova, IIS SB RAS;
- Aleksey Promsky, IIS SB RAS;
- Galia Semenikhina, IIS SB RAS;
- Aleksey Seryi, IIS SB RAS;
- Anna Shelukhina, IIS SB RAS;
- Vladimir Shestakov, IIS SB RAS;
- Nikolay Shilov, Innopolis University, Kazan;
- Tatiana Tikhonova, Novosibirsk State University;
- Yuri Zagorulko, Novosibirsk State University;