CSR 2017: 12th International Computer Science Symposium

Website der Veranstaltung

Datum und Uhrzeit

07.06.2017, 16:30 - 12.06.2017, 12:45
Im Kalender speichern


Kazan Federal University
Kremlyovskaya St, 18
420008 Kazan, Tatarstan


CSR is an annual conference that intends to reflect the broad scope of international cooperation in computer science. The topics covered vary from year to year, but in general try to cover as much of the contemporary computer science as possible.

They 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


Organizing Committee of CSR 2017

Nachricht senden