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.

9-13 September 2013, Proof 2013: An International Conference within the Frame of Humboldt-Kollegs, Berne, Switzerland

Date: 9-13 September 2013
Location: Berne, Switzerland

Proof takes place in Bern, Switzerland from September 9-13, 2013. This meeting gathers about fifty leading researchers who are actively involved with the concept of proof in theory and practice.

For more information, see http://www.humboldt-kolleg.iam.unibe.ch/.

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