Новости ИСП РАН

17 Января, 2017

11-ая Ершовская конференция по информатике пройдёт в Москве с 26 по 29 июня 2017 года

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

Конференция посвящается выдающемуся отечественному ученому, специалисту в области теоретического и системного программирования академику Андрею Петровичу Ершову (1931–1988). Конференция регулируется Международным Наблюдательным Советом и Программным Комитетом. Материалы конференции публикуются издательством Springer-Ferlag в серии "Lecture Notes in Computer Science".

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

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

Важные даты

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

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

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

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

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

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

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

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

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

Семинары

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

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

Подробную информацию о конференции Вы cможете найти на сайте psi.ispras.ru