Новости
Новости ИСП РАН
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