Prospects of formal mathematics
Next year, from May 13 to August 16, 2024 there is the Trimester program “Prospects of formal mathematics” at the Haussdorff Research Institute for Mathematics (HIM) at Universität Bonn, organized by our FAU MoD member Michael Kohlhase with Kevin Buzzard, Jacques Carette, Valeria de Paiva and Josef Urban.
This program is organised on weekly seminars, informal workshops, and open problem sessions. Its goal is to bring together experts of Formal Mathematics, exploit their interactions, foster future collaborations, and interface them better with the mathematical mainstream. It aims to provide a platform for junior researchers to enter Formal Mathematics; a central, unifying theme is to break down adoption barriers of formal methods in Mathematics.
Within the program you can attend the School on Formal Mathematics with introductory lectures where key people from the research groups have indicated their willingness to teach (and supervise practical formalization attempts) in this school, drawing on tutorial material of the various systems. Participants of the school will be asked to work on small formalization projects which eventually could lead to contributions to formalization libraries.
HIM. Haussdorff Research Institute for Mathematics
HIM Main building (lecture hall): Poppelsdorfer Allee 45, Bonn
Mathematics Center: Endenicher Allee 60, Bonn
Max Planck Institute for Mathematics (MPI lecture hall): Vivatsgasse 7, Bonn
Lecture hall at the old site of the Mathematical Institute: Wegelerstr. 10, Bonn
See more at: https://www.him.uni-bonn.de/about-him/contact/getting-to-him/
Check the official page of the event