Calendar
23.9. 16:15 Sakari Niemelä: Higher integrability of metric double phase minimizers (Diploma thesis talk) – M3 (M234)
24.9. 10:15 Juho Korkeala: Exotic mean oscillation and compactness of commutators (Master thesis presentation) – M3 (M234)
25.9. 13:15 Janne Junnila (Univ. Jyväskylä): In search for practical autoformalization workflows for working mathematicians – U4062, University of Helsinki main building (Fabianinkatu 33)
1.10. 14:15 Prof. Marcus Greferath (University College Dublin/Aalto): On my Recent Work on Noiseless and Noisy Group Testing (Part I) – M3 (M234)
2.10. 13:15 Niklas Halonen (University of Helsinki): Automated Grading in Lean Using Comparator – U4062, University of Helsinki main building (Fabianinkatu 33)
5.10. 14:15 Vanni Noferini (Aalto): TBA – M3 (M234)
7.10. 10:15 Aleksis Koski: TBA – M3 (M234)
9.10. 13:15 Thanh-Long Tran (University of Helsinki): TBA – U4062, University of Helsinki main building (Fabianinkatu 33)
15.10. 14:15 Prof. Lenny Fukshansky (Claremont McKenna College): TBA – M3 (M234)
16.10. 13:15 Kristian Latvanen (Aalto University): Formalizing percolation – U4062, University of Helsinki main building (Fabianinkatu 33)
19.10. 14:15 Ragnar Freij-Hollanti (Aalto): TBA – M3 (M234)
21.10. 10:15 Henri Lahdelma: Midterm review talk – M3 (M234)
21.10. 11:15 Anna-Mariya Otsetova: TBA – M3 (M234)
Visitors
Carolina Romero (Universidad Adolfo Ibáñez) 24.8.–11.11.
Javiera Marín (Universidad Adolfo Ibáñez) 2.9.–5.11.
Luiza Henriques (Pontifícia Universidade Católica do Rio de Janeiro) 11.9.–11.12.
Felipe Lima (Pontifícia Universidade Católica do Rio de Janeiro) 12.9.–29.11.
Jani Onninen (Syracuse University, New York) 13.9.–30.9.
Jonas Hürter 14.9.2026–15.9.2027