Computer Science – Theory and Applications

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

Conference proceedings CSR 2017
Part of the Lecture Notes in Computer Science book series (LNCS, 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

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-58747-9
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-58746-2
  • Online ISBN 978-3-319-58747-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book