• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
  • HSE University
  • Publications of HSE
  • Books
  • Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer Science

Book

Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer Science

Vol. 10742. Springer, 2018.
Under the general editorship: A. K. Petrenko, A. Voronkov.

11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers The Ershov Informatics Conference Perspectives of System Informatics (in the PSI Conference Series) is the premier international forum in Russia for research and applications in computer, software, and information sciences. 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 rapidly growing Russian informatics community and its international counterparts, as well as between established scientists and younger researchers. The 11th edition of the conference was held during June 27–29, 2017, in Moscow (Russian Federation). Over 150 researchers and students participated in the event. This volume contains the papers presented at PSI 2017. There were 57 submissions. Each submission was reviewed by at least two, and on average three, Program Committee members. The committee decided to accept 31 papers. Dines Bjørner DTU (Denmark) spoke at the opening of the conference about the contribution of academician Victor Ivannikov to computer science, one of the organizers of this conference, who died at the end of 2016. Famous scientists in the field of computer science presented invited talks: – Sriram Rajamani (Microsoft Research, India) — “Trusted Cloud: How to Make the Cloud More Secure” – Andrei Sabelfeld (Chalmers University of Technology in Gothenburg, Sweden and Gothenburg University, Sweden) — “Taint Tracking Without Tracking Taints” – Michael Gerard Hinchey (Irish Software Engineering Research Centre, Lero) — “Building Resilient Space Exploration Systems” We wish to thank all those involved in the support and organization of this conference as well as the Program Committee members and the anonymous reviewers. Without them and all their hard work, the realization of such an ambitious project would not have been possible.

Chapters
Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer Science