V Симпозиум по компьютерным наукам в России CSR 2010

Тематика конференции:
-algorithms and data structures;
-combinatorial optimization;
-constraint solving;
-complexity and cryptography;
-formal languages and automata;
-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.