 |
PSSV-2024 |
|
|
Семинар (workshop)
|
| Семинар проходит ежегодно начиная с 2010 года (за единственным исключением в 2022 г.) | |
 |
|
| PSSV-2021: https://persons.iis.nsk.su/en/pssv21 | |
| PSSV-2023: https://persons.iis.nsk.su/en/PSSVfrom2022towards2023 |
- Страницы семинара в Интернете:
- Краткая информационная страница на EasyChair: https://easychair.org/cfp/PSSV-2024
- Представление материалов через EasyChair: https://easychair.org/conferences/?conf=pssv2024
- Seminar webpage in English
- Важные даты:
-
Представление аннотаций (необязательно): воскресенье 8 сентября 2024 -
Представление расширенных тезисов для рецензирования: воскресенье 15 сентября 2024 -
Решение о принятии представленных работ: воскресенье 29 сентября 2024 -
Соревнования по верификации Verification Hackathon VeHa-2024: пятница 18 октября - понедельник 21 октября 2024 -
Семинар PSSV-2024: суббота 19 октября - понедельник 20 октября 2024 -
Объявление итогов конкурса им. В.А. Непомнящего молодых ученых: понедельник 21 октября 2024 -
Приглашение избранных работ для публикации: среда 23 октября 2024 -
Объявление итогов соревнований по верификации VeHa-2024: воскресенье 27 октября 2024 -
Представление переработанных и дополненных приглашенных работ: воскресенье 3 ноября 2024 - Решение о принятии представленных переработанных и дополненных приглашенных работ: воскресенье 17 ноября 2024
- Публикация принятых переработанных и дополненных приглашенных работ в журнале Моделирование и анализ информационных систем: декабрь 2024
-
Тематика семинара
Список тем, представляющих интерес, включает (но не ограничивается) следующими:
- формализмы для описания семантики программ
- формальные модели и семантика программ и систем
- семантика языков программирования и спецификаций
- методы формального описания
- логики для формальной спецификации и верификации
- дедуктивная верификация программ
- автоматическое доказательство теорем
- верификация моделей программ и систем
- статический и динамический анализ программ
- формальные подходы к тестированию и валидации
- средства анализа и проверки программ
- теория языков программирования – от синтаксиса до систем типов
- преобразование и синтез программ
- индустриальный опыт и эксперименты по любой из перечисленных тем
Почетный председатель семинара PSSV
- Валерий Анатольевич Соколов (Ярославский государственный университет им. Демидова, Ярославль)
Программный комитет:
- Игорь Сергеевич Ануреев (Новосибирский Государственный Университет и Институт систем информатики им. Ершова, Новосибирск) – председатель жюри Конкурса имени В.А. Непомнящего, координатор публикации тезисов (pre-proceedings)
- Наталья Олеговна Гаранина (Новосибирский Государственный Университет и Институт систем информатики им. Ершова, Новосибирск)
- Андрей Валентинович Климов (Институт прикладной математики им. М. В. Келдыша)
- Дмитрий Александрович Кондратьев (Новосибирский Государственный Университет и Институт систем информатики им. Ершова, Новосибирск)
- Николай Дмитриевич Кудасов (Университет Иннополис, Иннополис)
- Егор Владимирович Кузьмин (Ярославский государственный университет им. Демидова, Ярославль) – координатор распространения информации о PSSV на русском языке и публикации избранных трудов (post-proceedings)
- Ирина Александровна Ломазова (Высшая школа экономики, Москва)
- Александр Владимирович Наумчев (Russian Research Institute)
- Антонина Николаевна Непейвода (Московский государственный технический университет им. Баумана, и Институт программных систем, Переславль)
- Денис Валерьевич Никольский (Университет Иннополис, Иннополис) — координатор соревнований VeHa-2024
- Андрей Михайлович Миронов (Московский государственный университет им. Ломоносова)
- Сергей Михайлович Старолетов (Алтайский государственный технический университет им. Ползунова, г. Барнаул)
- Ирина Владимировна Шошмина (Санкт-Петербургский политехнический институт, Санкт-Петербург)
- Николай Вячеславович Шилов (Университет Иннополис, Иннополис) — председатель Программного Комитета
- Александр Дмитриевич Чичигин (Kontur.io, Батуми) – координатор распространения информации о PSSV на английском языке
Организационный комитет (в Иннополисе):
- Николай Кудасов
- Зураб Отарашвилли
- Николай Шилов
История PSSV (2010-2023)
Международный семинар по семантике, спецификации и верификации программ (PSSV) имеет 14-летнюю историю. Он был запущен в 2010 году, чтобы стать площадкой для сотрудничества между исследователями в области семантики, спецификации и проверки программ из Содружества Независимых Государств и международных коллег. Организаторы первого семинара PSSV-2010 - Валерий Анатольевич Соколов Валерий Александрович Непомнящий (1939-2021). Семь семинаров PSSV были "спутниками" Computer Science Symposium in Russia(CSR Conference Series), три семинара – "спутниками" A.P. Ershov Informatics Conference (the PSI Conference Series), а четыре - самостоятельными научными мероприятиями:
- PSSV-2010 – спутник CSR-2010 в Казани
- PSSV-2011 – спутник CSR-2011 в Петербурге
- PSSV-2012 – спутник CSR-2012 в Нижнем Новгороде
- PSSV-2013 – спутник CSR-2013 в ЕЕкатеринбурге
- PSSV-2014 – спутник CSR-2014 в Москве
- PSSV-2015 – спутник PSI-2015 в Казани и Иннополисе
- PSSV-2016 – спутник CSR-2016 в Петербурге
- PSSV-2017 – спутник PSI-2017 в Москве
- PSSV-2018 – самостоятельный семинар в Ярославле
- PSSV-2019 – спутник Computer Science Summer in Russia (CSSR - совместное мероприятие CSR-2019 и PSI-2019) в Новосибирске
- PSSV-2020 – самостоятельный онлайн семинар, организованный Высшей Школой Экономики (Москва)
- PSSV-2021 – самостоятельный онлайн семинар, организованный Университетом Иннополис
- PSSV-2023 – самостоятельный гибридный семинар в Университете Иннополис (под эгидой PSSV-2023 прошли первые соревнования для молодых исследователей по формальной верификации Verification Hackathon VeHa-2023)
Приглашенные лекции
- Валерий Георгиевич Дурнев (Ярославский государственный университет им. Демидова, Ярославль): Исследование алгоритмических проблем для уравнений с ограничениями на решения в свободных полугруппах и группах (аннотация)
- Кирилл Викторович Зиборов (Positive Technologies, Московский государственный университет им. Ломоносова): Исследование и применение подходов к формальной верификации смарт-контрактов в Ethereum (аннотация)
- Владимир Владимирович Иванов (Университет Иннополис, Иннополис): Глубокое обучение в системах суммаризации исходного кода и вопросно-ответных системах (аннотация)
- Вадим Сергеевич Мутилин (Институт системного программирования им. Иванникова, Москва): Верификация драйверов ОС Linux - достижения и перспективы (аннотация)
- Надя Поликарпова (Университет Калифорнии в Сан Диего): Фундаментальные идеи в синтезе программ (аннотация)
- Мария Александровна Мылицына и Артём Олегович Кокорин (Группа Астра): Опыт применения формальных методов для верификации модуля безопасности ОС Astra Linux SE (аннотация)
Представление, рецензирование и публикации материалов семинара
Программный комитет принимал к рассмотрению работы, соответствующие тематике семинара следующих типов.
- Расширенные тезисы, описывающие завершенные исследования, – минимум 6, максимум 8 страниц на английском без учета списка литературы, но с обязательным разделом Related Work из 1-2 стр. Расширенные тезисы будут рецензироваться тремя членами Программного Комитета
- Краткие тезисы, представляющие незавершенные исследования, стендовые доклады и отчеты об исследованиях студентов, – минимум 2, максимум 4 страниц на английском включая список основной литературы и обязательный параграф Related Works. Краткие тезисы будут рецензироваться одним членом Программного Комитета.
Публикации семинара
- Во-первых, к началу семинара PSSV-24 ВСЕ принятые расширенные тезисы были опубликованы в электронном журнале "Системная информатика"), а краткие тезисы – в сети Интернет.
- Затем отобранные переработанные и расширенные статьи (на основе приглашенных и других докладов, гостевых лекций, сделанных на PSSV) будут опубликованы (после семинара) в №4 (2024 г.) российского рецензируемого журнала "Моделирование и анализ информационных систем" (МАИС).
- Отобранные редакционной коллегией журнала МАИС избранные статьи будут переведены на английский и опубликованы в 2025 г. в журнале Automatic Control and Computer Sciences (индексируемый WoS и Scopus). Например, избранные работы PSSV-2020 были опубликованы Vol 55, No 7 (2021) of Automatic Control and Computer Sciences.
Соревнования по верификации и конкурс работ молодых ученых
- Программный Комитет провёл Конкурс имени В.А. Непомнящего среди молодых авторов работ, доложенных на PSSV-24. (Подробнее см. в Положении о Конкурсе.) Решением Жюри премия конкурса присуждена Ивану Михайловичу Черненко, аспиранту Института автоматики и электрометрии СО РАН, за работу Pattern-Based Approach to Automation of Deductive Verification of Process-Oriented Programs.
- Во время семинара PSSV-24 и в аффилиации с семинаром прошли вторые соревнования для молодых исследователей (индивидуальных и командных) Verification Hackathon VeHa-2024. (Первые соревнования VeHa-2023 прошли одновременно и в аффилиации с PSSV-2023.) Соревнования VeHa-2024 прошло в гибридном режиме, а онлайн тьюториалы были проведены заранее. Задачи, тьюториалы и итоги опубликованы на странице соревнования VeHa-2024.
Контакты
- Все вопросы следует направлять Николаю Вячеславовичу Шилову по электронной почте (shiloviis@mail.ru) с «PSSV-2024» в поле темы письма.
Спонсоры
| Информационная поддержка: |  Институт систем информатики им. А.П. Ершова |
| Сибирского отделения Российской академии наук | |
| Публикация предварительных материалов: |  |
| Публикация избранных переработанных материалов: |  |
| Организатор проведения семинара: |  |