VII-я международная мемориальная конференция «Перспективы систем информатики»

Россия, Новосибирск

Тематика конференции:

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

Методология и технология программирования:
-  объектно-ориентированное, компонентное и родовое программирование;
-  программирование по контракту;
-  создание систем и программ для параллельных и распределенных вычислений;
-  программирование в ограничениях;
-  мультиагентные технологии;
-  перепрограммирование и переиспользование систем;
-  интегрированные программные обстановки;
-  архитектура программного обеспечения;
-  разработка и тестирование программ;
-  модельно-управляемая разработка систем и программ;
-  «быстрая» разработка программного обеспечения;
-  инструментарий и технологии программирования;
-  понимание и визуализация программ.

Информационные технологии:
-  модели данных,
-  базы данных и информационные системы;
-  базы знаний и конструирование знаний;
-  технологии биоинформатики;
-  онтологии и семантический web;
-  электронные библиотеки, собрания и архивы, web-публикации;
-  управление равноправными данными.

Последний срок представления тезисов докладов: 16 января 2009 г.

При обращении к организаторам мероприятия обязательно ссылайтесь на сайт «Конференции.ru» как на источник информации.

Последний день подачи заявки: 15 июня 2009 г. (приём заявок закончен)

Организаторы: Институт систем информатики им. А.П. Ершова, Новосибирский государственный университет

Контактная информация: 630090, Новосибирск, пр. Акад. Лаврентьева, 6, Институт систем информатики им. А.П. Ершова, тел.: (383) 330-73-52, факс: (383) 332-34-94, эл. почта: cher@iis.nsk.su

Эл. почта: NULL

Поделитесь информацией о мероприятии со знакомыми: