Computer Science – Theory and Applications

12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

  • Pascal Weil
Conference proceedings CSR 2017

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

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Alexandru Gheorghiu, Theodoros Kapourniotis, Elham Kashefi
    Pages 15-19
  3. Thomas Place, Marc Zeitoun
    Pages 25-37
  4. Michał Adamczyk, Mai Alzamel, Panagiotis Charalampopoulos, Costas S. Iliopoulos, Jakub Radoszewski
    Pages 48-61
  5. Maxim Babenko, Ignat Kolesnichenko, Ivan Smirnov
    Pages 62-70
  6. Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski
    Pages 71-84
  7. Cornelius Brand, Marc Roth
    Pages 85-98
  8. Marie-Pierre Béal, Pavel Heller
    Pages 99-111
  9. Lukas Fleischer, Manfred Kufleitner
    Pages 112-125
  10. Aida Gainutdinova, Abuzer Yakaryılmaz
    Pages 126-140
  11. Michael Hochman, Pascal Vanier
    Pages 154-161
  12. Chris Köcher, Dietrich Kuske
    Pages 191-205
  13. Meghana Nasre, Amit Rawat
    Pages 245-259
  14. Alexander Okhotin, Kai Salomaa
    Pages 260-272
  15. Mozhgan Pourmoradnasseri, Dirk Oliver Theis
    Pages 273-284
  16. Dmitry Sokolov
    Pages 294-307
  17. Oleg Verbitsky, Maksim Zhukovskii
    Pages 308-322
  18. Piotr Wojciechowski, R. Chandrasekaran, K. Subramani
    Pages 323-336
  19. Back Matter
    Pages 337-337

About these proceedings


This book constitutes the proceedings of the 12th International Computer Science Symposium in Russia, CSR 2017, held in Kazan, Russia, in June 2017.

The 22 full papers presented in this volume were carefully reviewed and selected from 44 submissions. In addition the book contains 6 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas such as: include, but are not limited to: algorithms and data structures; combinatorial optimization; constraint solving; computational complexity; cryptography; combinatorics in computer science; formal languages and automata; algorithms for concurrent and distributed systems, networks; applications of logic to computer science, e.g. proof theory, model checking and verification; formal and algorithmic aspects of bio-informatics; current challenges such as quantum computing.


algorithms and data structures combinatorial optimization constraint solving computational complexity cryptography combinatorics in computer science formal languages and automata algorithms for concurrent and distributed systems, networks formal and algorithmic aspects of bio-informatics current challenges such as quantum computing applications of logic to computer science

Editors and affiliations

  • Pascal Weil
    • 1
  1. 1.University of Bordeaux TalenceFrance

Bibliographic information

Industry Sectors
Materials & Steel
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment