Мероприятия

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

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

Седьмая международная конференция памяти академика А.П. Ершова "Перспективы систем информатики"

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

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

место проведения: Институт систем информатики им. А.П. Ершова

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

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

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

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

название: Седьмая международная конференция памяти академика А.П. Ершова "Перспективы систем информатики"

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

• Институт систем информатики им. А.П. Ершова

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

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

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

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

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

контакты:

• Институт систем информатики им. А.П. Ершова,
• 6, пр. Акад. Лаврентьева,
• 630090 Новосибирск, Россия
• тел.: +7 383 3307352
• факс: +7 383 3323494
• e-mail: cher@iis.nsk.su

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

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

Обсуждение

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

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

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