Date: 28–29 July 2026
Location: Campus Griebnitzsee, Potsdam (exact venue TBA)
The ai4math Workshop 2026 is the first workshop of the ai4math Berlin-Brandenburg network. It brings together researchers interested in the use of artificial intelligence as a tool for mathematical research.
Our focus is on AI for mathematics rather than the mathematical analysis of AI systems. Topics of interest include large language models, automated and interactive theorem proving, proof assistants, formal verification, mathematical knowledge management, conjecture generation, proof discovery, symbolic methods, and related approaches.
The workshop aims to strengthen the emerging AI-for-mathematics community in the Berlin-Brandenburg region and beyond. In particular, we want to:
- connect researchers from mathematics, computer science, and AI,
- showcase current work and ongoing projects,
- discuss opportunities for collaboration,
- identify common infrastructure and research needs,
- grow the ai4math network and welcome new participants.
Organisers
- Claudio Paganini (University of Regensburg)
- Christoph Stephan (University of Potsdam)
- Rudolf Zeidler (University of Potsdam)
Speakers
TBA
Program
The program will consist of invited talks, discussions, and networking opportunities.
| Time | Tuesday, 28 July | Wednesday, 29 July |
|---|---|---|
| 09:30–10:30 | Talk 1 | Talk 5 |
| 10:30–11:00 | Coffee break | Coffee break |
| 11:00–12:00 | Talk 2 | Talk 6 |
| 12:00–13:30 | Lunch break | Lunch break |
| 13:30–14:30 | Talk 3 | Talk 7 |
| 14:30–15:00 | Coffee break | Coffee break |
| 15:00–16:00 | Talk 4 | Talk 8 |
A detailed program will be announced once speakers have been confirmed.
Venue
Campus Griebnitzsee, Potsdam.
The exact room information will be announced later.
Registration
Participation is free of charge, but registration is required.
Registration form: TBA
About ai4math
The ai4math Berlin-Brandenburg network brings together researchers interested in the use of AI for mathematical research. The network aims to foster collaboration, exchange ideas, and build a strong regional and international community around AI-assisted mathematics.