14 июня 2016 г. — 15 июня 2016 г., срок заявок: 15 апреля 2016 г.
Семинар «Программные семантики, спецификации и верификация: теория и приложения»
Россия, Санкт-Петербург (издание включено в: РИНЦ)
Форма участия: очная
Седьмой семинар «Программные семантики, спецификации и верификация: Теория и Приложения» (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
Приложения:
Поделитесь информацией о мероприятии со знакомыми: