|
|
|||||||
| Новости | Мероприятия | Персоны | Партнеры | Ссылки | Авторы | |||
| Дискуссии | Гранты и конкурсы | Опросы | Справка | Форум | Участники | |||
Участники
Все права защищены и охраняются законом.
Портал поддерживается .
При полном или частичном использовании материалов гиперссылка на http://ipim.ru обязательна!
Все замечания и пожелания по работе портала, а также предложения о сотрудничестве направляйте на info@ipim.ru.
© Интернет-портал интеллектуальной молодёжи, 2005-2024.
Мероприятия
|
« вернуться к списку
|
'IV Симпозиум по компьютерным наукам в России CSR 2009'.
(Новосибирская обл.)16 ноября 2008 19:47
регион: Новосибирская обл.
город: Новосибирск
место проведения: Институт математики им. С.Л. Соболева СО РАН
области знаний:
- информатика и вычислительная техника
тип мероприятия: симпозиум
название: 'IV Симпозиум по компьютерным наукам в России CSR 2009'.
организаторы мероприятия:
- Институт математики им. С.Л. Соболева СО РАН
контингент участников:
- все желающие
окончание регистрации: 26 ноября 2008
начало мероприятия: 18 августа 2009
возможность публикации: тезисы
контакты:
- электронный адрес: <csr2009@math.nsc.ru>
ссылка: сайт с информацией
дополнительно:
Направления конференции:
алгоритмы, структура данных;
комплексность и криптография;
формальные языки, автоматы;
вычислительные модели и понятия;
теория доказательств и применение логики в информатике;
абстрактная интерпретация;
верификация моделей программ;
автоматизация формулирования логических выводов;
дедуктивный метод;
техника разрешения ограничений;
система типов;
функциональные и декларативные языки;
программное обеспечение;
методология разработки программного обеспечения для дизайна, разработки;
тестирования, анализа и верификации корректных и надежных систем.
Обсуждение
Добавить комментарий
Обсуждение материалов доступно только после регистрации.