IX Симпозиум по компьютерным наукам в России (CSR 2014)
6 - 12 June 2014, MoscowRubrics: Symposium | IT, Mathematics Activity URL: http://logic.pdmi.ras.ru/csr2014/Description:
|
6–12 июня 2014 года, Нижний Новгород.
Тематика:
- algorithms and data structures;
- algorithms for concurrent and distributed systems, networks;
- computational complexity;
- proof complexity;
- Kolmogorov complexity;
- combinatorial optimization;
- constraint solving;
- cryptography;
- combinatorics in computer science;
- automata theory and formal languages;
- computational models and concepts;
- database theory;
- applications of logic to computer science;
- proof theory;
- model checking;
- automated reasoning;
- deductive methods.
Крайний срок представления материалов: 9 декабря 2013 г.
Московский центр непрерывного математического образования,
Высшая школа экономики,
Математический институт им. В.А. Стеклова РАН.
Contact information:Высшая школа экономики,
Математический институт им. В.А. Стеклова РАН.
E-mail: csr2014(a)googlegroups.com.
Information source: http://elementy.ru/