Семинар «Программные семантики, спецификации и верификация: теория и приложения»

Россия, Санкт-Петербург (издание включено в: РИНЦ)

Форма участия: очная

Седьмой семинар «Программные семантики, спецификации и верификация: Теория и Приложения» (PSSV 2016, 14-15 июня 2016)

Объявление и приглашение к участию

В этом году семинар PSSV-2016 пройдёт под эгидой Симпозиума по компьютерным наукам Computer Science in Russia ( СSR 2016, http://logic.pdmi.ras.ru/csr2016/ ) в Санкт-Петербурге.

Важные даты
Представление материалов для отбора: до 15 апреля 2016 (включительно)
Уведомление о включении в программу семинара: 11 мая 2016
Регистрация участников семинара на сайте CSR-2016 (http://logic.pdmi.ras.ru/csr2016/registration) будет открыта в течение апреля 2016 г.

Рабочий язык семинара: английский.
(Возможно представление материалов для отбора на русском языке с аннотацией и названием на английском языке, подробнее – см. в разделе Представление и публикация материалов.)

Официальный сайт серии семинаров PSSV: http://pssv-conf.ru.
Страничка семинара на сайте CSR 2016: http://logic.pdmi.ras.ru/csr2016/pssv16.

Тематика

Принимаются к рассмотрению как доклады о законченных исследованиях, так и сообщения о ходе исследований (research in progress). Неполный список тематики PSSV следуе ниже:

- формализмы для программных семантик;
- формальные модели и семантики программ и систем;
- семантики языков программирования и языков спецификаций;
- формальные спецификации программ и систем;
- формальные техники описания программ;
- логики для формальных спецификаций и верификации;
- дедуктивная верификация программ;
- автоматическое доказательство теорем;
- метод проверки моделей для программ и систем;
- статический анализ программ;
- формальные подходы к тестированию и валидации;
- средства для анализа и верификации программ.

В 2016 программа семинара будет включать пленарный приглашённый доклад. (Докладчик и тема будут объявлены до 11 мая 2016 г.)

Программный комитет:

- Алехина Наташа (Университет Нотингема, Великобритания),
- Баранов Сергей Николаевич (Санкт-Петербургский институт информатики и автоматизации РАН),
- Болотов Александр (Университет Вестминстера, Великобритания),
- Евтушенко Нина Владимировна (Томский государственный университет),
- Ицыксон Владимир Михайлович (Санкт-Петербургский политехнический университет Петра Великого),
- Кулямин Виктор Вячеславович (Институт системного программирования РАН, Москва),
- Лисица Алексей (Университет Ливерпуля, Великобритания),
- Ломазова Ирина Александровна (Высшая школа экономики, Москва),
- Шилов Николай Вячеславович (Институт систем информатики СО РАН, Новосибирск).
- Захаров Владимир Анатольевич (Московский государственный университет)

Сопредседатели программного комитета:

- Непомнящий Валерий Александрович (Институт систем информатики СО РАН, Новосибирск, vnep@iis.nsk.su)
- Соколов Валерий Анатольевич (Ярославский государственный университет, valery-sokolov@yandex.ru)

Организационные вопросы:
Шилов Николай Вячеславович (Институт систем информатики СО РАН, Новосибирск, shilov@iis.nsk.su)

Представление и публикация материалов

Для отбора следует предоставить программному комитету расширенные тезисы доклада объемом не более 8 страниц в формате PDF в стиле Lecture Notes in Computer Science через систему EasyChair. Для технической полноты изложения (для доказателсьвт, например) тезисы можно снабдить явно обозначенным дополнением объёмом до 4 страниц; однако, ознакомление с дополнением не являются обязательными при отборе. Страница семинара в системе EasyChair – https://easychair.org/conferences/?conf=pssv2016. Рабочий язык семинара – английский, но для первоначального отбора материалов возможно представление тезисов на русском языке, но с аннотацией и названием на английском языке.

Все принятые и представленные на семинаре доклады будут опубликованы в одном из российских рецензируемых журналов (как минимум, включенных в РИНЦ). Избранные, переработанные и дополненные доклады предыдущих семинаров PSSV публиковались в журнале «Моделирование и анализ информационных систем» (ВАК)

Контакты и свежие новости:

Самые свежие новости о предстоящем семинаре PSSV-2016 можно получить на официальном сайте семинара http://pssv-conf.ru. При возникновении вопросов по программе семинара PSSV-2016 нужно обращаться по электронной почте к сопредседателям программного комитета В.А. Непомнящему и В.А. Соколову, а по вопросам организации – к Н.В, Шилову.

При обращении к организаторам мероприятия обязательно ссылайтесь на сайт «Конференции.ru» как на источник информации.

Последний день подачи заявки: 15 апреля 2016 г. (приём заявок закончен)

Организаторы: Институт систем информатики СО РАН, Новосибирск; Ярославский государственный университет; Институт систем информатики СО РАН, Новосибирск

Контактная информация: Непомнящий Валерий Александрович, эл. почта: vnep@iis.nsk.su. Соколов Валерий Анатольевич, эл. почта: valery-sokolov@yandex.ru. Шилов Николай Вячеславович, эл. почта: shilov@iis.nsk.su

Эл. почта: shilov@iis.nsk.su

Приложения: Информационное сообщение (.pdf, 96.801 КБ)

Поделитесь информацией о мероприятии со знакомыми: