19 Mar. 2025, 15:30-16:30 MIAO/BARC talk by Antonina Kolokolova Wednesday, March 19, 2025, Antonina Kolokolova, Associate Professor at the Memorial University of Newfoundland, Canada, will give a talk on "Learning from Proofs".
