Moscow, Russia
June 27-29, 2017

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



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

Media partners


Открытые системы

Экспертный центр электронного государства

PC Week

All media partners



A.P. Ershov Informatics Conference (the PSI Conference Series, 11th edition)
June 27–29, 2017, Moscow, Russia

NEW! For the period January 22 to February 22, 2018 temporary free access will be granted to the online version of the PSI 2017 proceedings on SpringerLink for registered conference participants of PSI 2017.

Videos of the invited speakers presentations are published.

Dines Bjørner. Opening speech

Sriram Rajamani. Trusted Cloud: How to make the cloud more secure

Andrei Sabelfeld. Taint Tracking without Tracking Taints

Michael Gerard Hinchey. Building Resilient Space Exploration Systems

Photos from the conference are published

Science-Intensive Software Workshop

A.P. Ershov Informatics Conference (the PSI Conference Series, 11th edition) is the premier international forum in Russia for research and applications in Computer Science (CS) and Software Engineering (SE). PSI is held regularly since 1991. The conference brings together academic and industrial researchers, developers and users to discuss the most recent topics in the field. PSI provides an ideal venue for setting up research collaborations between the growing Russian CS/SE researcher community and its international counterparts, as well as between established scientists and younger researchers.

The conference is held to honour the late academician Andrei Ershov (1931–1988) and his outstanding contributions towards advancing informatics.

PSI is governed by International Steering and Programme Committees. PSI Proceedings are published by Springer in the Lecture Notes in Computer Science series (LNCS).


  • Institute for System Programming, Russian Academy of Sciences.
  • A.P. Ershov Institute of Informatics Systems, Novosibirsk, Siberian Branch of Russian Academy of Sciences.
  • Higher School of Economics. National Research University.
  • Novosibirsk State University.

Conference Chairs

Dines Bjørner, Technical University of Denmark.
Victor Ivannikov, Institute for System Programming, Russian Academy of Sciences.

Steering Committee

Igor Agamirzian, National Research University Higher School of Economics, Russia.
Nikolaj Bjørner, Microsoft Research.
Alexander Marchuk, Institute of Informatics Systems, Russian Academy of Sciences.
Bertrand Meyer, ETH, Zurich.
Vladimiro Sassone, University of Southampton.

Organizing Committee Chairs

Arutyun Avetisyan, Institute for System Programming, Russian Academy of Sciences.
Ivan Arzhantsev, National Research University Higher School of Economics.

Programme Committee Chairs

Alexander K. Petrenko, Institute for System Programming of RAS, Moscow, Russia.
Andrei Voronkov, The University of Manchester, UK.

Confirmed Keynotes Speakers

Michael Gerard Hinchey, Limerick, Ireland.
Andrei Sabelfeld Gothenburg, Sweden.
Sriram Rajamani, Managing Director of Microsoft Research India.

Important dates

  • February 15, 2017: submission deadline.
  • April 1, 2017: notification of acceptance.
  • June 27–29, 2017: the conference dates.
  • September 1, 2017: camera ready papers due.

Conference Topics

1. Foundations of Program and System Development and Analysis

  • Specification, validation, and verification techniques.
  • Program analysis, transformation and synthesis.
  • Semantics, logic and formal models of programs.
  • Partial evaluation, mixed computation, abstract interpretation, compiler construction.
  • Theorem proving and model checking.
  • Concurrency theory.
  • Static program analysis.
  • Modeling and analysis of real-time and hybrid systems.
  • High performance computing.

2. Programming Methodology and Software Engineering

  • Object-oriented, aspect-oriented, component-based and generic programming.
  • Program and system construction for parallel and distributed computing.
  • Constraint programming.
  • Multi-agent technology.
  • System re-engineering.
  • Reuse and Product lines.
  • Integrated programming environments.
  • Software architecture.
  • Software development and testing.
  • Model-driven system/software development.
  • Software engineering methods and tools.
  • Service engineering, service oriented architecture.
  • Cloud computing.
  • Reverse engineering.
  • Software metrics, aging and reliability models and countermeasures.
  • Program understanding.

3. Information Technologies

  • Data models.
  • Database and information systems.
  • Data mining, analytics.
  • Knowledge-based systems and knowledge engineering.
  • Ontologies and semantic Web.
  • Digital libraries, collections and archives, Web publishing.


There are three categories of submissions:

  • regular papers describing fully developed work and complete results (15 pages / 30 minute talks);
  • short papers reporting on interesting work in progress and/or preliminary results (9 pages / 15 minute talks);
  • system and experimental papers describing implementation or evaluation of experimental systems and containing a link to a working system (7 pages / 10 minute presentations).

Submissions should:

  • contain original contributions that have not been published or submitted to other conferences/journals in parallel with this conference;
  • clearly state the problem being addressed, the goal of the work, the results achieved, and the relation to other works;
  • be in PS or PDF and formatted according to Springer LNCS Instructions for Authors;
  • be in English and in a form that can be immediately included in the proceedings without major revision;
  • be attached (if necessary) by an appendix that contains proofs etc. However, the paper must be self-contained without the appendix in that reviewers may not read the appendix;
  • be sent electronically (as a PostScript or PDF file) through the submissions link to the conference website not later than February 15, 2017.

Conference Proceedings

Preliminary proceedings will be available at the conference. Final versions of invited and accepted papers will be published by Springer-Verlag after the conference in the Lecture Notes in Computer Science series. Proceedings of previous PSIs are volumes 1181, 1755, 2244, 2890, 4378, 5947, 7162, 8974 and 9609 of LNCS.

Many prominent scientists have presented keynote talks at previous PSI conferences, among them are:

  • Dines Bjørner, Technical University of Denmark
  • Edmund M. Clarke, School of Computer Science, Carnegie Mellon University
  • M.-C. Gaudel, Université de Paris-Sud, France
  • Yuri Gurevich, Microsoft Research
  • David Harel, Weizmann Institute of Science, Israel
  • Sir Tony Hoare, Oxford University, UK
  • Kim Guldstrand Larsen, Aalborg University, Denmark
  • K. Rustan M. Leino, Microsoft Research
  • Bertrand Meyer, ETH Zurich
  • Andreas Zeller, Saarland University, Saarbrücken, Germany

Satellite Workshops

Three satellite workshops will be held in conjunction with PSI'17:

They will be announced later.


The Conference will be held in Moscow, the capital of Russian Federation.

Conference web-site

Questions and further information