Интернет-портал интеллектуальной молодёжи

http://ipim.ru/events/3147.html (версия для печати)

Мероприятия

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

регион: Новосибирская обл.

город: Новосибирск

место проведения: Институт математики им. С.Л. Соболева СО РАН

области знаний:

• информатика и вычислительная техника

тип мероприятия: симпозиум

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

организаторы мероприятия:

• Институт математики им. С.Л. Соболева СО РАН

контингент участников:

• все желающие

окончание регистрации: 26 ноября 2008

начало мероприятия: 18 августа 2009

возможность публикации: тезисы

контакты:

• электронный адрес: <csr2009@math.nsc.ru>

ссылка: сайт с информацией

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