8–12 июня 2006 года, Санкт-Петербург.
Организаторы:
Международный математический институт им. Эйлера,
Санкт-Петербургское отделение математического института им. В.А. Стеклова РАН.
Конференция включает два направления:
Теория:
- алгоритмы, протоколы, структура данных;
- сложность и криптография;
- формальные языки, автоматы и их приложения в информатике;
- вычислительные модели и концепции;
- теория доказательств и приложения логики в информатике.
Приложения и технологии:
- программирование и языки;
- архитектура и построение ЭВМ;
- символьные вычисления и численные приложения;
- прикладное программное обеспечение;
- искусственный интеллект и робототехника.
В рамках симпозиума состоятся сателлитные семинары:
Сроки:
Крайний срок представления материалов докладов: 18 декабря 2005 г.
Контакты:
E-mail: csr2006chair@logic.pdmi.ras.ru.
Подробнее о симпозиуме