Universiteit van Amsterdam


Institute for Logic, Language and Computation

20 - 26 September 2020, 5th International Autumn School "Proof and Computation" , Fischbachau, Germany

Date: 20 - 26 September 2020
Location: Fischbachau, Germany
Target audience: Graduate or PhD students and young postdoctoral researchers
Deadline: Saturday 30 May 2020

The aim of  the autumn school "Proof and Computation" is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy. Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and  Extraction of Programs from Proofs. There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.