Эксπир
Регистрация / Вход

Международная Ершовская конференция по информатике PSI-2017

В Москве пройдет Международная Ершовская конференция по информатике PSI-2017, посвященная передовым научно-исследовательским направлениям и прикладным аспектам современной информатики.
Москва

Международная Ершовская конференция по информатике PSI-2017

26–29 июня 2017 года в Москве пройдет Международная Ершовская конференция по информатике PSI-2017, посвященная передовым научно-исследовательским направлениям и прикладным аспектам современной информатики.

Темы конференции

Теоретические основы разработки и анализа программ и систем:

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

Высокопроизводительные вычисления:

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

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

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

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

В рамках конференции пройдут следующие семинары.

  • Семантика, спецификация и верификация программ PSSV–2017,
  • Наукоемкое программное обеспечение.
  • Информатика образования.

Важные даты:

  • до 13 января 2017 года  подача аннотаций,
  • до 20 января 2017 года  подача докладов,
  • до 1 апреля 2017 года  уведомление о принятии,
  • 26–29 июня 2017 года  проведение конференции,
  • до 1 сентября 2017 года  предоставление окончательных текстов докладов и сообщений.

Вопросы по поводу участия можно задать по электронной почте: f0c74e2bcd6psiconf2017@gmail.com.

Подробная информация о конференции опубликована по ссылке.

Система Orphus Если Вы заметили ошибку, выделите её и нажмите Ctrl + Enter.
Ctrl+Enter
Esc
?

Комментарии

Для того чтобы оставить комментарий, необходимо войти в систему или зарегистрироваться.