PSSV-2024

 

Семинар (workshop)
Семантика, спецификация и верификация программ – теория и приложения
18-21 октября 2024 г. в гибридном формате: онлайн и в Университете Иннополис(внешняя ссылка) в IT-городе Иннополис(внешняя ссылка) в Республике Татарстан (Россия)
Приглашаем познакомиться с выполненной Программой семинара (содержащей ссылки на записи и презентации всех докладов, а также на предварительные публикации отобранных работ)!(внешняя ссылка)

Семинар проходит ежегодно начиная с 2010 года
(за единственным исключением в 2022 г.)
PSSV logo
PSSV-2021: https://persons.iis.nsk.su/en/pssv21
PSSV-2023: https://persons.iis.nsk.su/en/PSSVfrom2022towards2023
  • Страницы семинара в Интернете:
  • Важные даты:
    • Представление аннотаций (необязательно): воскресенье 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 (2010-2023)
Приглашенные и "гостевые" лекции
Представление, рецензирование и публикации материалов семинара
Соревнования по верификации и конкурс работ молодых ученых
Контакты и спонсоры

Тематика семинара

Список тем, представляющих интерес, включает (но не ограничивается) следующими:

  • формализмы для описания семантики программ
  • формальные модели и семантика программ и систем
  • семантика языков программирования и спецификаций
  • методы формального описания
  • логики для формальной спецификации и верификации
  • дедуктивная верификация программ
  • автоматическое доказательство теорем
  • верификация моделей программ и систем
  • статический и динамический анализ программ
  • формальные подходы к тестированию и валидации
  • средства анализа и проверки программ
  • теория языков программирования – от синтаксиса до систем типов
  • преобразование и синтез программ
  • индустриальный опыт и эксперименты по любой из перечисленных тем
(Back to Top.)

Почетный председатель семинара PSSV

  • Валерий Анатольевич Соколов (Ярославский государственный университет им. Демидова, Ярославль)

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

  • Игорь Сергеевич Ануреев (Новосибирский Государственный Университет и Институт систем информатики им. Ершова, Новосибирск) – председатель жюри Конкурса имени В.А. Непомнящего, координатор публикации тезисов (pre-proceedings)
  • Наталья Олеговна Гаранина (Новосибирский Государственный Университет и Институт систем информатики им. Ершова, Новосибирск)
  • Андрей Валентинович Климов (Институт прикладной математики им. М. В. Келдыша)
  • Дмитрий Александрович Кондратьев (Новосибирский Государственный Университет и Институт систем информатики им. Ершова, Новосибирск)
  • Николай Дмитриевич Кудасов (Университет Иннополис, Иннополис)
  • Егор Владимирович Кузьмин (Ярославский государственный университет им. Демидова, Ярославль) – координатор распространения информации о PSSV на русском языке и публикации избранных трудов (post-proceedings)
  • Ирина Александровна Ломазова (Высшая школа экономики, Москва)
  • Александр Владимирович Наумчев (Russian Research Institute)
  • Антонина Николаевна Непейвода (Московский государственный технический университет им. Баумана, и Институт программных систем, Переславль)
  • Денис Валерьевич Никольский (Университет Иннополис, Иннополис) — координатор соревнований VeHa-2024
  • Андрей Михайлович Миронов (Московский государственный университет им. Ломоносова)
  • Сергей Михайлович Старолетов (Алтайский государственный технический университет им. Ползунова, г. Барнаул)
  • Ирина Владимировна Шошмина (Санкт-Петербургский политехнический институт, Санкт-Петербург)
  • Николай Вячеславович Шилов (Университет Иннополис, Иннополис) — председатель Программного Комитета
  • Александр Дмитриевич Чичигин (Kontur.io, Батуми) – координатор распространения информации о PSSV на английском языке

Организационный комитет (в Иннополисе):

  • Николай Кудасов
  • Зураб Отарашвилли
  • Николай Шилов
(Back to Top.)

История 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(внешняя ссылка))

(Back to Top.)

Приглашенные лекции

(Back to Top.)

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

Программный комитет принимал к рассмотрению работы, соответствующие тематике семинара следующих типов.

  • Расширенные тезисы, описывающие завершенные исследования, – минимум 6, максимум 8 страниц на английском без учета списка литературы, но с обязательным разделом Related Work из 1-2 стр. Расширенные тезисы будут рецензироваться тремя членами Программного Комитета
  • Краткие тезисы, представляющие незавершенные исследования, стендовые доклады и отчеты об исследованиях студентов, – минимум 2, максимум 4 страниц на английском включая список основной литературы и обязательный параграф Related Works. Краткие тезисы будут рецензироваться одним членом Программного Комитета.
Страница для представления материалов https://easychair.org/conferences/?conf=pssv2024(внешняя ссылка)

Публикации семинара

(Back to Top.)

Соревнования по верификации и конкурс работ молодых ученых

(Back to Top.)

Контакты

  • Все вопросы следует направлять Николаю Вячеславовичу Шилову по электронной почте (shiloviis@mail.ru) с «PSSV-2024» в поле темы письма.

Спонсоры

Информационная поддержка: System Informatics logo Институт систем информатики им. А.П. Ершова
Сибирского отделения Российской академии наук
Публикация предварительных материалов: IIS eng logo
Публикация избранных переработанных материалов: IIS eng logo
Организатор проведения семинара: Innopolis University logo
(Back to Top.)


загрузка