Международный симпозиум по информатике в России CSR-2006

8–12 июня 2006 года, Санкт-Петербург.

Организаторы:
Международный математический институт им. Эйлера,
Санкт-Петербургское отделение математического института им. В.А. Стеклова РАН.

Конференция включает два направления:
Теория:

• алгоритмы, протоколы, структура данных;
• сложность и криптография;
• формальные языки, автоматы и их приложения в информатике;
• вычислительные модели и концепции;
• теория доказательств и приложения логики в информатике.

• программирование и языки;
• архитектура и построение ЭВМ;
• символьные вычисления и численные приложения;
• прикладное программное обеспечение;
• искусственный интеллект и робототехника.

В рамках симпозиума состоятся сателлитные семинары:

• «Логика для автоматического вывода и автоматический вывод для логики» LARARL'06
• Семинар по словам и автоматам WOWA'06

Сроки:
Крайний срок представления материалов докладов: 18 декабря 2005 г.

Контакты:
E-mail: csr2006chair@logic.pdmi.ras.ru.

Подробнее о симпозиуме