08-08-2009 Симпозиум по компьютерным наукам в России CSR 2009
18-23 августа в Новосибирске в Институте математики им. С.Л. Соболева СО РАН состоится 4-й Симпозиум по компьютерным наукам в России CSR 2009.
Конференция включает два направления: Теория: алгоритмы, структура данных; комплексность и криптография; формальные языки, автоматы; вычислительные модели и понятия; теория доказательств и применение логики в информатике.
Применения и технологии: абстрактная интерпретация, верификация моделей программ, автоматизация формулирования логических выводов, дуктивный метод, техника разрешения ограничений, система типов, функциональные и декларативные языки, программное обеспечение, методология разработки программного обеспечения для дизайна, разработки, тестирования, анализа и верификации корректных и надежных систем. |
