Новости института


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

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


Все новости