Date: 19.-21.9.2025.

Place: Carl Friedrich von Weizsäcker Center, University of Tübingen. Doblerstr. 33, 72024 Tübingen, Germany.

Organizers: Gerhard Jäger (Bern), Reinhard Kahle (Tübingen), and Marcel Ertel (Tübingen).

In this meeting we commemorate the 50th anniversary of the first publication introducing "Explicit Mathematics" by Solomon Feferman. 
Explicit Mathematics played an important role in the development of proof theory, with applications in Mathematics, Computer Science, and Philosophy. 
We will bring together researchers to discuss the results and perspectives of Explicit Mathematics. 

Explicit Mathematics (Friday, 9-17h; Saturday, 9-16h)

For registration, please contact Marcel Ertel.

There is a conference fee of € 100,-. If you have no institutional funding, this fee can be waved. In this case, please write to Marcel Ertel.

For Saturday evening, a social dinner is planned.

The Special Session for Wolfram Pohlers received financial support from the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG) which is gratefully acknowledged. 

Students travel awards

The Association for Symbolic Logic (ASL) offers modest student travel awards to attend the meeting. Students must be members of the ASL in order to apply, and applications must be received three months prior to the start of the conference. Applications should be sent to Shannon Miller at aslspam prevention@uconn.edu. Further information in here.