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-2021 были опубликованы Vol 56, No 7 (2022) 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» в поле темы письма.
Спонсоры
Информационная поддержка: | Институт систем информатики им. А.П. Ершова |
Сибирского отделения Российской академии наук | |
Публикация предварительных материалов: | |
Публикация избранных переработанных материалов: | |
Организатор проведения семинара: |