Computer Science – Theory and Applications

This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, Russia, in June 2020.

The 25 full papers and 6 invited papers were carefully reviewed and selected from 49 submissions. The papers cover a broad range of topics, such as: algorithms and data structures; computational complexity, including hardness of approximation and parameterized complexity; randomness in computing, approximation algorithms, fixed-parameter algorithms; combinatorial optimization, constraint satisfaction, operations research; computational geometry; string algorithms; formal languages and automata, including applications to computational linguistics; codes and cryptography; combinatorics in computer science; computational biology; applications of logic to computer science, proof complexity; database theory; distributed computing; fundamentals of machine learning, including learning theory, grammatical inference and neural computing; computational social choice; quantum computing and quantum cryptography; theoretical aspects of big data.

 The conference was cancelled as a live conference due to the corona pandemic.

• computability
• enumeration
• logic
• grammars and context-free languages
• tree languages
• quantum computation theory
• parameterized complexity and exact algorithms
• graph algorithms analysis
• problems, reductions and completeness
• complexity classes
• computational geometry
• network structure
• combinatorics
• computer networks
• engineering
• graph theory
• internet
• mathematics
• network protocols
• theoretical computer science

• University of Trier, Trier, Germany

  Henning Fernau

Policies and ethics