3 и 4 ноября состоится международный семинар PSSV-2023 по семантике, спецификации и верификации программ.
Наш институт выступает одним из организаторов этого семинара.
Семинар пройдет в гибридном режиме: онлайн и очно в Университете Иннополис, расположенном в IT-городе Иннополисе в Республике Татарстан, Россия.
Приглашаем всех желающих!