PSI 2014 - Ershov Informatics Conference

The Institute of Informatics Systems (Russian Academy of Sciences) and the Saint Petersburg State University are jointly organizing the Ershov Informatics Conference (the PSI Conference Series, the 9th edition) to be held in St. Petersburg, Russia, on June 24 - 27, 2014.
The PSI Conference is the premier international forum in Russia for research and its applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to present and discuss the most recent innovations, trends, experiences and concerns in the conference area.
Keynote Speakers
Edmund M. Clarke
Edmund M. Clarke
Carnegie Mellon University,
Pittsburgh, USA
Sir Tony Hoare
Sir Tony Hoare
Microsoft Research in Cambridge,
Cambridge, Great Britain
Bertrand Meyer
Bertrand Meyer
ETH,
Zurich, Switzerland
Vladimiro Sassone
Vladimiro Sassone
University of Southampton,
Southampton, United Kingdom
Vadim E. Kotov
Vadim E. Kotov
Silicon Valley,
California, USA