We are pleased to announce the international conference "50 Years of Explicit Mathematics", to be held from September 19 to 21, 2025, at the Carl Friedrich von Weizsäcker Center, University of Tübingen.
The meeting commemorates the 50th anniversary of the first publication on Explicit Mathematics by Solomon Feferman. Since its inception, Explicit Mathematics has played a central role in the development of proof theory, with far-reaching applications in mathematics, computer science, and philosophy.
The conference will feature talks by prominent researchers, including a special session in memory of Wolfram Pohlers, whose work left a lasting impact on the field.
For the full list of speakers and further information, please visit:
Conference