13-14 Dec 2013
Bern, Switzerland
Advances in Proof Theory http://apt13.unibe.ch 13/14 December 2013, University of Bern, Switzerland organized by Thomas Strahm and Thomas Studer The aim of this symposium is to bring together some of the best specialists from the area of proof theory, constructivity, and computation and to 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. This meeting is dedicated to the 60th birthday of Professor Gerhard Jger. Invited speakers (confirmed): Wilfried Buchholz, Munich Andrea Cantini, Florence Roy Dyckhoff, St Andrews Rajeev Gor, Canberra Per Martin-Lf, Stockholm Pierluigi Minari, Florence Wolfram Pohlers, Mnster Michael Rathjen, Leeds Peter Schroeder-Heister, Tbingen Peter Schuster, Leeds Helmut Schwichtenberg, Munich Anton Setzer, Swansea Stan Wainer, Leeds Sponsors: Altonaer Stiftung fr philosophische Grundlagenforschung Burgergemeinde Bern Swiss Academy of Sciences Swiss National Science Foundation Swiss Society for Logic and Philosophy of Science