Overview

The aim of this symposium is to bring together some of the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations.

Venue: Switzerland, University of Bern, room 033 in the main building of the university at Hochschulstrasse 4
Date: 14-15th December 2023.

Program

Thursday, December 14

Time	Speaker	Title
14:00-14:45	Michael Rathjen	Searching for the ideal framework
14.50-15.35	Andrea Cantini	A path from formal truth to predicativity
	Coffee break
16:00-16:45	Helmut Schwichtenberg	Proofs and computation with infinite data
16:50-17:35	Reinhard Kahle	What are consistency proofs and what should they be

After the talks, there will be a small apéro in the lobby of the ExWi building, where we can raise our glasses with Gerhard Jäger.

Friday, December 15

Time	Speaker	Title
09.30-10.15	Anton Setzer	Variations of the Mahlo universe in Explicit Mathematics
	Coffee break
10:40-11.25	Peter Schuster	Translation and conservation