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

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

Теория:

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

Применения и технологии:

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

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