VII Симпозиум по компьютерным наукам в России CSR 2012
3 - 7 July 2012, Нижний Новгород Rubrics: Symposium | IT Activity URL: http://agora.guru.ru/csr2012Description:
|
3–7 июля 2012 года, Нижний Новгород.
Направления работы симпозиума:
- 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.
Крайний срок представления материалов: 11 декабря 2011 г.
Нижегородский государственный университет им. Н. И. Лобачевского (ННГУ).
Contact information:E-mail: csr2012.conf (at) gmail.com.
Information source: http://elementy.ru/