PERSPECTIVES OF SYSTEM INFORMATICS (PSI) series, 10th edition also known as Ershov Informatics Conference

The Perspectives of System Informatics (PSI) conference series is a forum for academic and industrial researchers, developers and users working on topics relating to computer, software and information sciences. The conference serves to bridge the gaps between different communities whose research areas are covered by but not limited to foundations of program and system development and analysis, programming methodology and software engineering, and information technologies. The PSI forum provides a venue for such communities at which common problems, methods and methodologies can be discussed and explored. In doing so, PSI aims to support researchers in their quest to improve the reliability, flexibility and efficiency of methods, algorithms and tools for developing computer, software and information systems.

The first eight PSI conferences were held in 1991, 1996, 1999, 2001, 2003, 2006 and 2009, 2014 respectively, and proved to be significant international events. The main advantage of the PSI series is that they are multi-subject conferences. This gives a unique possibility for researchers from different fields (system specification and verification, language design and implementation, data and knowledge bases, etc.) to familiarize themselves with research in related fields and discuss the problems of mutual interest. The success of the conferences is confirmed by the steadily increasing number of foreign participants: while there were only 14 foreign participants in 1991, in 1996, 1999, 2001, 2003, 2006, 2009, 2011 and 2014 there were 32, 38, 43, 51, 56, 58, 61 and 65 of them, respectively.

Many new important research results were reported at the conferences, including:

  • the first presentation of the concepts of generic programming which later become part of the Standard Template Library for C++ (Alexander Stepanov, HP Labs, USA, 1996);
  • new directions in hyper-programming (Ron Morrison, University of St. Andrews, Scotland, 1999);
  • applications of formal methods based on Abstract State Machines to software construction (Yuri Gurevich, Michigan University, USA, 2001);
  • an implementation of Floyd’s original proposal for a verifying compiler (Tony Hoare, Microsoft Research, USA, 2003);  
  • a possible way in which object-oriented languages provide better support for managing collections of interacting objects (Kim Bruce, Williams College, USA, 2003);
  • an overview of the programming system Spec#, including a demo aimed at improving the development and maintenance of correct software (K. Rustan M. Leino, Microsoft Research, USA, 2006);
  • main achievements in an extensive development and application of game semantics to verification and program analysis (Samson Abramsky, Oxford University, UK , 2009 );
  • the role of domain engineering and requirements engineering in the development of high quality software (Dines Bjørner, Technical University of Denmark, Denmark, 2009 );
  • the first contract-based modular verification methodology for concurrent C, developed in the context of the design of the Verifying C Compiler (VCC) (Wolfram Schulte, Microsoft Research, USA, 2009);
  • the principles and functionalities of the UPPAAL system , the most efficient tool for verification of real-time systems with extensions towards performance analysis and controller synthesis (Kim Guldstrand Larsen, Aalborg University, Denmark, 2009);
  • the state of the art in specification mining, its challenges, and its potential, up to a vision of seamless integration of specification and programming (Andreas Zeller, Saarland University, Germany, 2011).
  • practical issues involved in the recording and maintenance of provenance data (Peter Buneman, The University of Edinburgh, UK, 2012), etc.

The PSI conferences give a unique possibility for establishing cooperation between Western and Russian researchers. For example, A.P. Ershov Institute of Informatics Systems has established cooperation with several universities in France (Nante, Paris11 and Paris13), Germany (Karlsruhe, Oldenburg, Berlin, Munich), Denmark (BRICS & Aarhus University), South Korea (KAIST, Taejon) and other countries. The PSI conferences are intensively attended by master/PhD students and young researchers from the Russians institutes which gives them an opportunity to learn about the cutting-edge trends and latest results of research in Europe and USA. On the other hand, the conferences give their foreign participants a great chance to get familiar with research in Russia. The warm, friendly atmosphere of the conferences attracts researchers from many countries in spite of the long distance to be covered to reach Russia.

You can find more information about PSI 2015 on the official web site of the conference Ershov Informatics Conference.

Сайт находится в технической разработке