About
The international EuroProofNet School on Natural Formal Mathematics will be held from the 3rd to the 5th of June 2025 at the Mathematics Centre in Bonn, Germany. The programme will include talks on topics related to natural formal mathematics and hands-on tutorials. Related topics include
- proof assistants with an emphasis on naturalness, such as Naproche and Mizar;
- natural language understanding of mathematical texts: processing of natural language (controlled or free) with grammar-based or machine-learning-based approaches;
- AI in formal mathematics: autoformalization, autoinformalization, neural conjecturing, etc.;
- automated theorem provers: their theoretical foundations, implementation, and efficient use, as well as machine-learning-based methods in automated theorem proving;
- proof automation generally;
- experimental projects aiming to make existing proof assistants more natural;
- linguistics of mathematics.
Speakers and topics
| Josef Urban | CIIRC CTU Prague | AI in Formal Mathematics |
| Julie Cailler | Loria, University of Lorraine, Inria | Tableau-based Automated Theorem Proving, Goéland |
| Martin Suda | CIIRC CTU Prague | Superposition-based Automated Theorem Proving, Vampire |
| Stephan Schulz | DHBW Stuttgart | Superposition-based Automated Theorem Proving, E |
| David Cerna | Czech Academy of Sciences | Anti-unification |
| Adam Naumowicz | University of Bialystok | Mizar |
| Peter Koepke Adrian De Lon |
University of Bonn | Naproche |
| Adam Dingle | Charles University | Natty |
| More speakers to be confirmed soon | ||
Registration and applications for funding
The school is free of charge. Please register before attending by filling out the registration form and sending it to adelon@uni-bonn.de.
For registration, please tell us your full name and provide us with your CV. For additional context, you can optionally briefly explain your interest in the school and your experience in the area of natural formal mathematics.
Select applicants will have their travel costs reimbursed through EuroProofNet. To apply for reimbursement, please first check if you're eligible and then indicate in the registration form that you're asking for reimbursement. If you are not yet a member of EuroProofNet, please register to at least one EuroProofNet working group. Please note that Bachelor students are not eligible for reimbursement.
When applying for reimbursement, please specify your country, your university, your age, and your gender. Please also tell us your planned arrival and departure dates and provide an estimate in Euros of your transportation costs (screen captures are fine). Hotel and food expenses will be reimbursed at a fixed daily rate of 140 Euros for a full day.
The deadline for funding applications is April 27th (until end of day, CEST); notifications will be sent out by April 30th. Registrations without funding requests will receive notifications as soon as possible.
Location
The lectures and tutorials will take place in the Lipschitz-Saal at the Mathematics Center of the University of Bonn. The address is:
Endenicher Allee 6053115 Bonn
Germany
Bonn can be reached by train via Bonn Hauptbahnhof or by airplane via the Cologne Bonn Airport. The central station (Bonn Hauptbahnhof) is right in the city centre, a 1 km walk or 5 minute bus ride from the Mathematics Center.
Accommodation
Participants will make their own accommodation arrangements. There are many hotels near the city centre of Bonn to choose from. We recommend booking as early as possible.
Questions and support
Please contact Adrian De Lon at delon@uni-bonn.de for any questions.