Special Trimester on "Prospects of Formalized Mathematics" at the Hausdorff Institute of Mathematics in Bonn by 
Prof. Dr. Michael Kohlhase on
Prof. Dr. Michael Kohlhase 10 Feb 2022
in Announcements
The Hausdorff Institute of Mathematics will offer a Special Trimester on “Prospects of Formalized Mathematics” May-August 2024. Prof. Kohlhase coordinates the organization.