Международная Ершовская конференция по информатике PSI–2017
27–29 июня 2017 года, Москва, Россия
NEW! В период с 22 января по 22 февраля 2018 года предоставляется бесплатный доступ к онлайн-версии материалов конференции PSI 2017 на SpringerLink для зарегистрированных участников конференции PSI 2017.
Опубликованы видеозаписи докладов приглашенных докладчиков.
Динес Бьорнер. Вступительная речь
Шрирам Раджамэни. Trusted Cloud: How to make the cloud more secure
Андрей Сабельфельд. Taint Tracking without Tracking Taints
Майкл Джерард Хинчи. Building Resilient Space Exploration Systems
Опубликованы фотографии с конференции
Семинар "Наукоемкое программное обеспечение"
Ершовская конференция по информатике – это один из главных форумов России, посвященных исследованиям и приложениям в таких областях информатики, как компьютерные науки, методология и технология программирования, информационные технологии. Конференция регулярно проводится с 1991 года. На конференциях собираются ученые, разработчики и пользователи программного обеспечения для того, чтобы представить и обсудить самые последние новшества, идеи, тенденции и результаты исследований в направлениях, обозначенных в тематике конференции.
Конференция посвящается выдающемуся отечественному ученому, специалисту в области теоретического и системного программирования академику Андрею Петровичу Ершову (1931–1988).
Конференция регулируется Международным Наблюдательным Советом и Программным Комитетом. Материалы конференции публикуются издательством Springer-Verlag в серии "Lecture Notes in Computer Science".
Организаторы конференции
- Институт системного программирования РАН
- Институт систем информатики им. А.П. Ершова СО РАН
- Высшая школа экономики
- Новосибирский государственный университет
Сопредседатели конференции
Динес Бьорнер, технический университет Дании.
Виктор Иванников, Институт системного программирования РАН, Москва.
Наблюдательный совет
Игорь Агамирзян, Национальный исследовательский университет Высшая школа экономики, Москва.
Николай Бьорнер, Microsoft Research, Рэдмонд, США.
Александр Марчук, Институт систем информатики СОРАН, Новосибирск.
Бертран Мейер, Высшая техническая школа, Цюрих, Швейцария.
Сопредседатели организационного комитета
Арутюн Аветисян, Институт системного программирования РАН, Москва.
Иван Аржанцев, НИУ Высшая школа экономики, Москва, Россия.
Сопредседатели программного комитета
Андрей Воронков, Манчестерский университет, Великобритания.
Александр Петренко, Институт системного программирования РАН, Москва.
Приглашенные докладчики
Майкл Джерард Хинчи , Лимерик, Ирландия.
Андрей Сабельфельд Гётеборг, Швеция.
Шрирам Раджамэни, управляющий директор Microsoft Research India.
Важные даты
- 15 февраля 2017 г.: представление докладов.
- 1 апреля 2017 г.: уведомление о принятии.
- 27–29 июня 2017 г.: проведение конференции.
- 1 сентября 2017 г.: представление окончательных текстов докладов и сообщений.
Темы конференции
Теоретические основы разработки и анализа программ и систем
- Спецификация, трансформация и верификация программ;
- Семантика, логика и формальные модели программ;
- Смешанные вычисления, абстрактная интерпретация и построение компиляторов;
- Доказательство теорем и тестирование моделей;
- Статический анализ программ;
- Моделирование и анализ систем реального времени и гибридных систем;
- Высокопроизводительные вычисления.
Методологии и технологии программирования
- Объектно-ориентированное, аспектно-ориентированное, компонентное и родовое программирование;
- Программирование для параллельных и распределенных вычислений;
- Программирование в ограничениях;
- Мультиагентные технологии;
- Перепрограммирование и переиспользование систем;
- Интегрированные программные обстановки;
- Архитектура программного обеспечения;
- Разработка и тестирование программ;
- Инструментарий программного обеспечения;
- Облачные вычисления;
- Веб-сервис в технологии программирования;
- Понимание и визуализация программ.
Информационные технологии
- Базы данных и информационные системы;
- Базы знаний и конструирование знаний;
- Электронная коммерция;
- Электронные библиотеки и Веб-публикации;
- Онтологии и семантический Web;
- Обработка естественно-языковых текстов.
Кроме того, приветствуются работы как связующие различные направления, так и способствующие взаимопониманию ученых различных областей, а также работы, определяющие перспективы информатики в целом, и совместные статьи ученых разных стран.
Требования к текстам докладов
На конференцию принимается три типа работ:
- статьи, представляющие результаты законченного исследования (15 страниц / 30 минут выступления);
- сообщения, представляющие интересные промежуточные результаты текущих исследований (9 страниц / 15 минут выступления);
- сообщения, представляющие реализацию программных систем и результаты экспериментальных исследований (необходимо наличие ссылки (link) на работающую систему)(7 страниц / 10 минут выступления).
Текст докладов на английском языке должен быть четким и достаточно подробным, с тем, чтобы Программный Комитет мог оценить все достоинства работы. Статья должна быть оформлена в соответствии с инструкцией для авторов издательства Шпрингер-Ферлаг.
PS или PDF-файл статьи следует загрузить на сайт конференции по ссылке.
Материал, представляемый на конференцию, не должен быть напечатанным или представленным к публикации нигде, не исключая журналы или другие конференции.
Материалы конференции
Участники получат на конференции сборник расширенных аннотаций лекций, принятых докладов и сообщений. Полные тексты лекций, докладов (приблизительно 15 страниц и сообщений (не более 9 стр.), представленных на конференции, будут опубликованы издательством Springer-Ferlag в серии "Lecture Notes in Computer Science". Труды предыдущих конференций можно найти в Lecture Notes in Computer Science, vol. 1181, 1755, 2244, 2890, 4378, 5947, 7162, 8974 и 9609, соответственно.
Многие видные ученые представили доклады на предыдущих конференциях, среди них:
- Динес Бьорнер, Технический университет Дании, Дания
- Эдмунд М. Кларк, Школа компьютерных наук, Университет Карнеги-Меллона, США
- М.-К. Гаудель, Университет Париж-юг, Франция
- Юрий Гуревич, Microsoft Research
- Дэвид Харель, Институт Вейцмана, Израиль
- Сэр Тони Хоар, Оксфордский университет, Великобритания
- Ким Гулдстранд Ларсен, Университет Ольборга, Дания
- К. Рустан M. Лейно, Microsoft Research
- Бертран Мейер, Швейцарская высшая техническая школа Цюриха, Швейцария
- Андреас Зеллер, Университет Саара Германия
Семинары
В рамках конференции пройдут следующие семинары:
- Семантика, спецификация и верификация программ (PSSV–2017).
- Наукоемкое программное обеспечение.
- Информатика образования (IWEI).
Подробная информация о семинарах будет представлена позже.
Место проведения конференции
Конференция состоится в Москве, столице Российской Федерации.