21 ноября в 11:00 в каб. 239 состоится третий методологический семинар ИСИ СО РАН.
Докладчики: Н.О. Гаранина, И.С. Ануреев, Д.А. Кондратьев.
Тема доклада: Обзор международного четырнадцатого семинара "Семантика, спецификация и верификация программ: Теория и приложения" (PSSV-2023) и первого всероссийского соревнования по верификации моделей и дедуктивной верификации "VeHa-2023".
Аннотация: В докладе мы представим общее впечатление о семинаре PSSV и более подробно разберём несколько докладов, а также поделимся приобретённым опытом проведения онлайн-соревнований по формальной верификации.
Ссылка на дистанционное подключение
https://meet.google.com/zhx-gewk-mrc