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

3 - 7 July 2012, Нижний Новгород

Rubrics: Symposium | IT

Activity URL: http://agora.guru.ru/csr2012

Description:

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

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 г.

Deadline date: December 11, 2011

Organizers:
Нижегородский государственный университет им. Н. И. Лобачевского (ННГУ).

Contact information:
E-mail: csr2012.conf (at) gmail.com.

Information source: http://elementy.ru/