The 7th International Computer Science Symposium in Russia
    Proceedings 
    News 
    Call For Papers 
    Conference 
    Important Dates 
    Topics 
    Program 
    Workshops 
    Invited Speakers 
    Committees 
    Venue 
    Travel information 
    Registration 
    Archive 
    Contacts 
    Subscription 
EATCS
Springer Link
Yandex
Microsoft Research

 
The 7th International Computer Science Symposium in Russia
Topics

TOPICS include, but are not limited to:

  • algorithms and data structures
  • automata and formal languages
  • combinatorial optimization
  • constraint solving
  • computational complexity
  • cryptography
  • combinatorics in computer science
  • computational models and concepts
  • algorithms for concurrent and distributed systems, networks
  • proof theory and applications of logic to computer science
  • model checking
  • automated reasoning
  • deductive methods