HIIT Foundations Friday: Friday, March 27, 2026, at 11.15–13.00. Maxwell Forst: An introduction to lattice reduction theory. University of Helsinki, Athena building (Siltavuorenpenger 3 A), room 169. https://research.cs.aalto.fi/hiit-foundations/

Logic Seminar: Wednesday, March 25, 2026, at 12.15–14.00. Ur Ya'ar: The modal logic of forcing. University of Helsinki, Exactum (Pietari Kalmin katu 5), room C124. https://wiki.helsinki.fi/xwiki/bin/view/Logic/Home/Seminar/

Ping