Проводится
28 Окт 2023
16:45 - 18:30
16:45 - 18:30
Лекторий Малого мехмата
Автоматизация математических доказательств
Город
Москва, Россия
Место
МГУ
Регистрация
Регистрация закрыта
Поданные заявки
-
Щербаков Иван Андреевич
ГБОУ Школа №1514, Москва, Россия (9 класс)
-
Алексеева Алина Алексеевна
АНО ОШ ЦПМ, Москва, Россия (11 класс)
-
Лисов Иван Александрович
ГКОУ МО КШИ с ПЛП, Фрязино, Россия (11 класс)