PSI 2017 has been announced!
Andrei Klimov
Andrei Ershov International Conference "Perspectives of System Informatics"
The Ershov Informatics Conference 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.
Andrei Ershov was one of the early Russian pioneers in the field of theoretical and systems programming, a founder of the Siberian School of Computer Science. In 1974 he was nominated as a Distinguished Fellow of the British Computer Society. In 1981 he received the Silver Core Award for services rendered to IFIP.
PSI is governed by international Program Committee. PSI Proceedings are published in LNCS.
Below you find some information about PSI conference topics and participants.
Conference Topics (may be updated)
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.
Important dates
- January 13, 2017: abstract submission.
- January 20, 2017: submission deadline.
- April 1, 2017: notification of acceptance.
- June 26 – 29, 2017: the conference dates.
- September 1, 2017: camera ready papers due.
PSI Conference Co-Chairs
- Dines Bjorner, Technical University of Denmark.
- Victor Ivannikov, Institute for System Programming, Russian Academy of Sciences.
PSI Steering Committee
- Dines Bjorner, Technical University of Denmark.
- Victor Ivannikov, Institute for System Programming, Russian Academy of Sciences.
- Alexander Marchuk, Institute of Informatics Systems, Russian Academy of Sciences.
- Betrtand Meyer, ETH, Zurich.
Program Committee Chairs
- Alexander K. Petrenko Institute for System Programming of RAS, Moscow, Russia.
- Andrei Voronkov The University of Manchester, UK.
Famost invited speakers on last PSI conferences
- Dines Bjørner.
- Edmund M. Clarke.
- M.-C. Gaudel.
- Yuri Gurevich.
- David Harel.
- Sir Tony Hoare.
- Kim Guldstrand Larsen.
- K. Rustan M. Leino.
- Bertrand Meyer.
- Andreas Zeller.