Мероприятия

« вернуться к списку

версия для печати

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

регион: Новосибирская обл.

город: Новосибирск

место проведения: Академгородок

области знаний:

• информатика и вычислительная техника
• техника и технология

тип мероприятия: конференция

статус мероприятия: международное

название: VII Международная мемориальная конференция "Перспективы систем информатики"

организаторы мероприятия:

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

контингент участников:

• все желающие

окончание регистрации: 16 января 2009

начало мероприятия: 15 июня 2009

возможность публикации: тезисы

контакты:

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

ссылка: сайт с информацией

дополнительно:
Тематика конференции:

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

Обсуждение

Добавить комментарий

Обсуждение материалов доступно только после регистрации.

« к началу страницы