PSI'2017
A.P. Ershov Institute of Informatics Systems
A.P. Ershov Informatics Conference (the PSI Conference Series, 11th edition)

26–29 июня 2017 года, Москва, Россия


Цели и задачи

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

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

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

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

Парадигмы программирования и автоматизированного производства программ.

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

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

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

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

Место проведения конференции

Конференция состоится в Москве, столице Российской Федерации.

Сопредседатели конференции

Динес Бьорнер, технический университет Дании.
Виктор Иванников, Институт системного программирования РАН, Москва.

Наблюдательный совет

Игорь Агамирзян, Национальный исследовательский университет Высшая школа экономики, Москва.
Динес Бьорнер, технический университет Дании.
Виктор Иванников, Институт системного программирования РАН, Москва.
Александр Марчук, Институт систем информатики СОРАН, Новосибирск.
Бертран Мейер, Высшая техническая школа, Цюрих, Швейцария.

Сопредседатели программного комитета

Александр Петренко, Институт системного программирования РАН, Москва.
Андрей Воронков, Манчестерский университет, Великобритания.

Организаторы конференции

  • Институт системного программирования РАН
  • Институт систем информатики им. А.П. Ершова СО РАН
  • Высшая школа экономики
  • Новосибирский государственный университет

Материалы конференции

Участники получат на конференции сборник расширенных аннотаций лекций, принятых докладов и сообщений. Полные тексты лекций, докладов (приблизительно 15 страниц и сообщений (не более 9 стр.), представленных на конференции, будут опубликованы издательством Springer-Ferlag в серии "Lecture Notes in Computer Science". Труды предыдущих конференций можно найти в Lecture Notes in Computer Science, vol. 1181, 1755, 2244, 2890, 4378, 5947, 7162, 8974 и 9609, соответственно.

Требования к текстам докладов

Текст докладов на английском языке должен быть четким и достаточно подробным, с тем, чтобы Программный Комитет мог оценить все достоинства работы. Статья должна быть оформлена в соответствии с инструкцией для авторов издательства Шпрингер-Ферлаг.

PS или PDF-файл статьи следует загрузить на сайт конференции по ссылке.

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

Важные даты

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

Семинары

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

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

Подробная информация о семинарах будет представлена позже.

Веб-сайт конференции

psi.ispras.ru

Адрес для переписки

psiconf2017@gmail.com


 

Development: xTech

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

WebmasterWebmaster