НАУКА и ОБРАЗОВАНИЕ

    Тематика конференции включает следующие разделы:

Основания анализа и разработки программ и систем:

• методы спецификации, валидации и верификации;

• анализ, синтез и преобразования программ;

• семантика, логика и формальные модели программ;

• частичное выполнение, смешанные вычисления, абстрактная интерпретация, разработка компиляторов;

• доказательство теорем и проверка моделей;

• теория параллелизма;

• моделирование и анализ систем реального времени и гибридных систем;

• модели и алгоритмы биоинформатики.

        Методология и технология программирования:

• объектно-ориентированное, компонентное и родовое программирование;

• программирование по контракту;

• создание систем и программ для параллельных и распределенных вычислений;

• программирование в ограничениях;

• мультиагентные технологии;

• перепрограммирование и переиспользование систем;

• интегрированные программные обстановки;

• архитектура программного обеспечения;

• разработка и тестирование программ;

• модельно-управляемая разработка систем и программ;

• «быстрая» разработка программного обеспечения;

• инструментарий технологии программирования;

• понимание и визуализация программ.

    Информационные технологии:

• модели данных, базы данных и информационные системы;

• базы знаний и конструирование знаний;

• онтологии и семантический web;

• электронные библиотеки, собрания и архивы, web-публикации;

• управление равноправными данными.

Официальный сайт конференции: http://www.iis.nsk.su/psi06/index_r.shtml