PSI'2011
A.P. Ershov Institute of Informatics Systems
A.P. Ershov Informatics Conference

27 июня - 1 июля 2011 г., Новосибирск, Академгородок, Россия


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

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

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

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

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

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

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

Кроме того, приветствуются работы, как связующие различные направления, так и способствующие взаимопониманию ученых различных областей, а также работы, определяющие перспективы информатики в целом.


 

Development: xTech

© 2008-2024 ИСИ СО РАН

WebmasterWebmaster