IX Симпозиум по компьютерным наукам в России (CSR 2014)

6 - 12 июня 2014 г., Москва

Рубрики: Симпозиум | ИТ, Математика

URL мероприятия: http://logic.pdmi.ras.ru/csr2014/

Описание:

IX Симпозиум по компьютерным наукам в России (CSR 2014)

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

Срок подачи заявок: 9 декабря 2013 г.

Организаторы:
Московский центр непрерывного математического образования,
Высшая школа экономики,
Математический институт им. В.А. Стеклова РАН.

Контактная информация:
E-mail: csr2014(a)googlegroups.com.

Источник информации: http://elementy.ru/