Семинар теоретического и экспериментального программирования имени В.А. Непомнящего

Руководитель: 
Гаранина Наталья Олеговна
Кондратьев Дмитрий Александрович
Ануреев Игорь Сергеевич

Секретарь семинара: к.ф.-м.н. Шилов Николай Вячеславович

Тема следующего семинара: 

Обзор конференции FormaliSE 2024 и реферат статьи "A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification"

Докладчик: 

магистрант СПбГУ Мищенко Станислав

Дата проведения: 
07.10.2025 - 17:00
Список студентов: