APT13

Advances in Proof Theory 2013

Sponsors
Contact

Bern, Switzerland
December 13–14, 2013

Program Committee

Reinhard Kahle, Lisbon
Roman Kuznets, Bern
George Metcalfe, Bern
Giovanni Sommaruga, Zurich
Thomas Strahm, Bern (co-chair)
Thomas Studer, Bern (co-chair)

December 13–14, 2013
Bern, Switzerland

Copyright (c) 2013 apt13.unibe.ch. All rights reserved. Design by Free CSS Templates.

Created by Roman Kuznets. Technical assistance and photos by Alexander Kashev.