15 июня 2009 г. — 19 июня 2009 г., срок заявок: 15 июня 2009 г.
VII-я международная мемориальная конференция «Перспективы систем информатики»
Россия, Новосибирск
Тематика конференции:
Основания анализа и разработки программ и систем:
- методы спецификации, валидации и верификации;
- анализ, синтез и преобразования программ;
- семантика, логика и формальные модели программ;
- частичное выполнение, смешанные вычисления, абстрактная интерпретация, разработка компиляторов;
- доказательство теорем и проверка моделей;
- теория параллелизма;
- моделирование и анализ систем реального времени и гибридных систем.
Методология и технология программирования:
- объектно-ориентированное, компонентное и родовое программирование;
- программирование по контракту;
- создание систем и программ для параллельных и распределенных вычислений;
- программирование в ограничениях;
- мультиагентные технологии;
- перепрограммирование и переиспользование систем;
- интегрированные программные обстановки;
- архитектура программного обеспечения;
- разработка и тестирование программ;
- модельно-управляемая разработка систем и программ;
- «быстрая» разработка программного обеспечения;
- инструментарий и технологии программирования;
- понимание и визуализация программ.
Информационные технологии:
- модели данных,
- базы данных и информационные системы;
- базы знаний и конструирование знаний;
- технологии биоинформатики;
- онтологии и семантический web;
- электронные библиотеки, собрания и архивы, web-публикации;
- управление равноправными данными.
Последний срок представления тезисов докладов: 16 января 2009 г.
При обращении к организаторам мероприятия обязательно ссылайтесь на сайт «Конференции.ru» как на источник информации.
Последний день подачи заявки: 15 июня 2009 г. (приём заявок закончен)
Организаторы: Институт систем информатики им. А.П. Ершова, Новосибирский государственный университет
Контактная информация: 630090, Новосибирск, пр. Акад. Лаврентьева, 6, Институт систем информатики им. А.П. Ершова, тел.: (383) 330-73-52, факс: (383) 332-34-94, эл. почта: cher@iis.nsk.su
Эл. почта: NULL
Поделитесь информацией о мероприятии со знакомыми: