Date
28 Oct 2023
16:45 - 18:30
16:45 - 18:30
Лекторий Малого мехмата
Автоматизация математических доказательств
City
Moscow, Russia
Venue
MSU
Registration
Registration is closed