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

6 - 12 June 2014, Moscow

Rubrics: Symposium | IT, Mathematics

Activity URL: http://logic.pdmi.ras.ru/csr2014/

Description:

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

Deadline date: December 9, 2013

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

Contact information:
E-mail: csr2014(a)googlegroups.com.

Information source: http://elementy.ru/