Perspectives of System Informatics

9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

  • Andrei Voronkov
  • Irina Virbitskaite

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8974)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 8974)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
    Pages 1-25
  3. Edmund M. Clarke, Qinsi Wang
    Pages 26-40
  4. Sandeep Patil, Victor Dubinin, Cheng Pang, Valeriy Vyatkin
    Pages 76-91
  5. Pavel Emelyanov, Denis Ponomaryov
    Pages 92-101
  6. Natalia Garanina, Elena Sidorova, Eugene Bodin
    Pages 102-110
  7. Sergei Gorlatch, Michel Steuwer
    Pages 111-126
  8. Nataliya S. Gribovskaya
    Pages 142-150
  9. Damas P. Gruska
    Pages 151-160
  10. Alexei Iliasov, Jeremy Bryans
    Pages 161-176
  11. Neil D. Jones, G. W. Hamilton
    Pages 177-185
  12. Ilya Klyuchnikov, Sergei Romanenko
    Pages 186-200
  13. Margarita Korovina, Oleg Kudinov
    Pages 201-215
  14. Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue
    Pages 216-231
  15. Torben Ægidius Mogensen
    Pages 232-247

About these proceedings


This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014. 

The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of hot topics in computer science and informatics. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.


Computational complexity Concurrency Formal languages and automata theory Foundations of program developments Functional languages Information technologies Knowledge engineering Knowledge management Knowledge-based systems Logic Model checking Models of computation Program analysis Program constructs Programming methodology Semantics and reasoning Software engineering System analysis System development Timed and hybrid models

Editors and affiliations

  • Andrei Voronkov
    • 1
  • Irina Virbitskaite
    • 2
  1. 1.School of Computer ScienceUniversity of ManchesterManchesterUnited Kingdom
  2. 2.A.P. Ershov Institute of Informatics SystemsNovosibirskRussia

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-46822-7
  • Online ISBN 978-3-662-46823-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book