Ершовская конференция по информатике (серия ПСИ, 12-я конференция) – один из главных международных форумов России, посвященных исследованиям и приложениям в области информатики и разработки программного обеспечения.
Участие в конференции дает возможность исследователям в научных и промышленных отраслях, разработчикам и пользователям встретиться и обсудить самые последние достижения в сфере своих профессиональных интересов.
ПСИ – идеальное место для установления научных контактов между российскими и международными научными сообществами в области информатики и разработки программного обеспечения, а также между признанными и молодыми учеными.
Председатель конференции:
Александр Марчук (Институт систем информатики имени А. П. Ершова СО РАН и Новосибирский государственный университет, Россия).
Приглашенные докладчики:
— Моше Варди (Университет Райса, США)
— Шорен Ауер (Информационный центр Лейбница по науке и технологии и библиотека унивестита, Германия)
— Джуст-Петер Катоен (Ахенский университет, Германия)
— Марта Квятковска (Оксфордский университет, Великобритания)
— Маргус Винз (Microsoft Research, Редмонд, США).
Координационный комитет:
— Ким Гульстранд Ларсен (Алборгский униветситет, Дания)
— Бертран Мейер (Высшая техническая школа Цюриха, Швейцария, и Университет Иннополис, Казань, Россия)
— Владимиро Сассоне (Университет Саутгемптона, Великобритания)
— Майкл Герард Хинчли (Лимерик, Ирландия)
— Шрирам Раджамани (Microsoft Research, Индия).
Председатели программного комитета:
— Николай Бьернер (Microsoft Research, Редмонд, США)
— Ирина Вирбицкайте (Институт систем информатики А.П. Ершова и Новосибирский государственный университет, Россия)
— Андрей Воронков (Университет Манчестера, Великобритания).
Тематика конференции:
1. Основания анализа и разработки программ и систем
2. Методология и технология программирования
3. Информационные технологии.
Рабочие языки конференции: русский, английский
Важные даты:
— 27 января 2019: начало подачи аннотаций
— 3 февраля 2019: последний срок подачи аннотаций
— 1 апреля 2019: уведомление о приёме
— 27 апреля 2019: предоставление оригинал-макетов предварительных трудов конференции
— 2–5 июля 2019: даты проведения конференции
— 1 сентября 2019: предоставление оригинал-макетов докладов и сообщений.
Требования к текстам докладов:
На конференцию принимается три типа работ:
— статьи, представляющие завершенное исследование и его полные результаты (15 страниц / 30 минут выступления).
— краткие сообщения, представляющие интересные промежуточные результаты текущих исследований и/или предварительные результаты (9 страниц / 15 минут выступления).
— сообщения, представляющие реализацию программных систем и результаты экспериментальных исследований (необходимо наличие ссылки на работающую систему)(7 страниц / 10 минут выступления).
Рекомендации авторам:
— в докладе должны быть представлены оригинальные результаты, которые не публиковались ранее и нигде больше не представлены к публикации.
— должна ясно излагаться поставленная задача, цели работы и достигнутые результаты, а также связь исследования с другими работами.
— доклад должен быть представлен на английском языке на высоком уровне, допускающем немедленную публикацию без доработки.
— доклады следует направлять в электронном виде в формате .pdf с форматированием согласно правилам оформления серии LNCS издательства Springer через сайт для приема статей https://easychair.org/my/conference.cgi?conf=psi2019 не позднее 3 февраля 2019 года.
Допускаются ссылки на приложения, в которых приводятся подробные результаты, доказательства и вспомогательные данные, не укладывающиеся в формат страницы, при условии, что рассмотрение и оценка такой работы возможны без изучения этих приложений.
Для представления своей работы на конференции должен зарегистрироваться и присутствовать на конференции хотя бы один из авторов каждого принятого доклада.
Труды конференции:
Участники получат предварительные труды во время проведения конференции. Окончательные версии докладов будут опубликованы издательством Springer в серии Lecture Notes in Computer Science.
