Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 13-14 December 2013
Location: 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/.

Please note that this newsitem has been archived, and may contain outdated information or links.