Logic List Mailing Archive

CfR: 50 Years of Explicit Mathematics - with a special session in memory of Wolfram Pohlers, 19.-21.9.2025, Tübingen (Germany)

Conference: 50 Years of Explicit Mathematics - with a special session in memory of Wolfram Pohlers

https://uni-tuebingen.de/de/281304

Date: 19.-21.9.2025

Place: Carl Friedrich von Weizsäcker Center, University of 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.

Confirmed speakers.

Explicit Mathematics.

  1.  Ulrik Buchholtz

  2.  Andrea Cantini
  3.  Peter Dybier
  4.  Marcel Ertel
  5.  Gerhard Jäger
  6.  Reinhard Kahle
  7.  Michael Rathjen
  8.  Kentaro Sato
  9.  Anton Setzer
  10. Eduardo Skapinakis
  11. Gunnar Wilken

Special session in memory of W. Pohlers:

  1.  Arnold Beckmann

  2.  Lev Beklemishev
  3.  Isabel Oitavem
  4.  Horst Osswald

________________________________
For registration, please contact Marcel Ertel: marcel.ertel@uni-tuebingen.de<mailto:marcel.ertel@uni-tuebingen.de>

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: marcel.ertel@uni-tuebingen.de<mailto:marcel.ertel@uni-tuebingen.de>

________________________________
Support


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.

The conference is also supported by the Association for Symbolic Logic (ASL) by offers of student travel grants.

The organizers also acknowledge the support of the Udo Keller Foundation.

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php