13-14 December 2013, Advances in Proof Theory 2013 (APT13), Bern, Switzerland

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.

For more information, see http://apt13.unibe.ch/.