Advertisement

Perspectives of System Informatics

12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

  • Nikolaj Bjørner
  • Irina Virbitskaite
  • Andrei Voronkov
Conference proceedings PSI 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xviii
  2. Yauhen Klimiankou
    Pages 1-9
  3. Maxim Bakaev, Vladimir Khvorostov
    Pages 10-25
  4. Irina Krayneva, Sergey Troshkov
    Pages 41-49
  5. Igor Anureev, Natalia Garanina, Tatiana Liakh, Andrei Rozov, Vladimir Zyubin, Sergei Gorlatch
    Pages 50-63
  6. Denis Kleyko, Evgeny Osipov, Daswin De Silva, Urban Wiklund, Valeriy Vyatkin, Damminda Alahakoon
    Pages 64-79
  7. Vadiraj Kulkarni, Pavel Emelyanov, Denis Ponomaryov, Madhava Krishna, Soumyendu Raha, S. K. Nandy
    Pages 80-94
  8. Valeriy Savchenko, Konstantin Sorokin, Georgiy Pankratenko, Sergey Markov, Alexander Spiridonov, Ilia Alexandrov et al.
    Pages 140-155
  9. Valeriy Kuchuganov, Denis Kasimov, Aleksandr Kuchuganov
    Pages 156-166
  10. Maxim Bakaev, Ekaterina Goltsova, Vladimir Khvorostov, Olga Razumnikova
    Pages 167-184
  11. Margarita Korovina, Oleg Kudinov
    Pages 185-198
  12. Marina Murtazina, Tatiana Avdeenko
    Pages 205-213
  13. Oleksandra Panasiuk, Omar Holzknecht, Umutcan Şimşek, Elias Kärle, Dieter Fensel
    Pages 223-231
  14. Dmitry Kondratyev, Ilya Maryasov, Valery Nepomniaschy
    Pages 232-242
  15. Elena Bozhenkova, Irina Virbitskaite, Louchka Popova-Zeugmann
    Pages 252-261
  16. Back Matter
    Pages 263-263

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019.

The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers cover various topics related to the Mathematics of Computing, Information Systems, Formal Languages, dependable and fault-tolerant Systems and Network, Automata Theory,  and much more.

Keywords

artificial intelligence computer hardware computer programming computer science computer systems databases distributed computer systems distributed systems engineering formal logic internet knowledge-based system linguistics mathematics object-oriented programming parallel processing systems semantics software software design software engineering

Editors and affiliations

  • Nikolaj Bjørner
    • 1
  • Irina Virbitskaite
    • 2
  • Andrei Voronkov
    • 3
  1. 1.Microsoft ResearchRedmondUSA
  2. 2.AP Ershov Institute of Informatics SystemsNovosibirskRussia
  3. 3.School of Computer ScienceUniversity of ManchesterManchesterUK

Bibliographic information