Проводится
28 Окт 2023
16:45 - 18:30
16:45 - 18:30
Лекторий Малого мехмата
Автоматизация математических доказательств
Город
Москва, Россия
Место
МГУ
Регистрация
Регистрация закрыта