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

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

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

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

Loom: Платформа для разработки Фундаментальных Мульти-Модальных Систем Верификации

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

Ссылка на подключение: https://telemost.yandex.ru/j/28529522210499

Докладчик: 

Виталий Курин (Neapolis University Pafos)

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