VI Международная конференция «Перспективы систем информатики»

27–30 июня 2006 года, Новосибирск, Академгородок.

Конференция посвящается 75-й годовщине со дня рождения академика Андрея Ершова (1931–1988).

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

1. Основания анализа и разработки программ и систем:
   • методы спецификации, валидации и верификации;
   • анализ, синтез и преобразования программ;
   • семантика, логика и формальные модели программ;
   • частичное выполнение, смешанные вычисления, абстрактная интерпретация, разработка компиляторов;
   • доказательство теорем и проверка моделей;
   • теория параллелизма;
   • моделирование и анализ систем реального времени и гибридных систем;
   • модели и алгоритмы биоинформатики.
2. Методология и технология программирования:
   • объектно-ориентированное, компонентное и родовое программирование;
   • программирование по контракту;
   • создание систем и программ для параллельных и распределенных вычислений;
   • программирование в ограничениях;
   • мультиагентные технологии;
   • перепрограммирование и переиспользование систем;
   • интегрированные программные обстановки;
   • архитектура программного обеспечения;
   • разработка и тестирование программ;
   • модельно-управляемая разработка систем и программ;
   • «быстрая» разработка программного обеспечения;
   • инструментарий технологии программирования;
   • понимание и визуализация программ.
3. Информационные технологии:
   • модели данных,
   • базы данных и информационные системы;
   • базы знаний и конструирование знаний;
   • онтологии и семантический web;
   • электронные библиотеки, собрания и архивы, web-публикации;
   • управление равноправными данными.

В течение конференции будут проходить следующие семинары:

• Информатика образования.
• Program Understanding - проводится в Горном Алтае.
• Наукоемкое программное обеспечение.

Последний срок представления расширенных аннотаций: 12 февраля 2006 г.

Контакты:
630090, Новосибирск, пр. Акад. Лаврентьева, 6, Институт систем информатики им. А.П. Ершова, секретарь прогр. комитета Н. А. Черемных;
тел: (383) 330-73-52,
факс: (383) 332-34-94;
E-mail: psi06@iis.nsk.su.

Подробнее о конференции