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
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.
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
Programme Committee Chairs
Confirmed Keynotes Speakers
- 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.
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).
- 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.
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
Three satellite workshops will be held in conjunction with PSI'17:
- Program Semantics, Specification and Verification: Theory and Applications (PSSV–2017).
- Educational Informatics (IWEI).
- Science-Intensive Software.
They will be announced later.
The Conference will be held in Moscow, the capital of Russian Federation.