Seminar on Formalized Mathematics
The seminar meets Fridays at 13:15–14:00 in room U4062 of the main building of University of Helsinki (Fabianinkatu 33).
Anyone interested in formalization of mathematics is welcome!
Upcoming talks
-
Janne Junnila (University of Jyväskylä)Title to be announced
-
Niklas Halonen (University of Helsinki)Title to be announced
-
Thanh-Long Tran (University of Helsinki)Title to be announced
-
Kristian Latvanen (Aalto University)Title to be announced
-
—— NO SEMINAR —
Past talks
Past talks are listed in the archive.