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).
Organizers
PSI Conference Co-Chairs
Dines Bjørner, Technical University of Denmark.
Victor Ivannikov, Institute for System Programming, Russian Academy of Sciences.
PSI Steering Committee
Igor Agamirzian, National Research University Higher School of Economics, Russia.
Dines Bjørner, Technical University of Denmark.
Victor Ivannikov, Institute for System Programming, Russian Academy of Sciences.
Alexander Marchuk, Institute of Informatics Systems, Russian Academy of Sciences.
Bertrand Meyer, ETH, Zurich.
Programme Committee Chairs
Alexander K. Petrenko, Institute for System Programming of RAS, Moscow, Russia.
Andrei Voronkov, The University of Manchester, UK.
PSI Organizing Committee
Victor Ivannikov, Institute for System Programming, Russian Academy of Sciences.
Ivan Arzhantsev, National Research University Higher School of Economics.
Keynote Speakers
TBA
Important dates
- January 20, 2017: abstract submission.
- February 15, 2017: submission deadline.
- April 1, 2017: notification of acceptance.
- June 26–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.
Submissions
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 January 20, 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:
- Program Semantics, Specification and Verification: Theory and Applications (PSSV–2017),
http://pssv-conf.ru/
- Educational Informatics,
- Science-Intensive Applied Software.
They will be announced later.
Location
The Conference will be held in Moscow, the capital of Russian Federation.
Conference web-site
psi.ispras.ru
Questions and further information
psiconf2017@gmail.com
A.P. Ershov
Institute of Informatics Systems
Webmaster