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.

20 - 26 September 2019, Fourth International Autumn School "Proof & Computation", Herrsching, Germany

Date: 20 - 26 September 2019
Location: Herrsching, Germany
Deadline: Friday 31 May 2019

The aim of the autumn school 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.

Courses include Ingo Blechschmidt on Generalized Spaces for Constructive Algebra, Stefania Centrone on Proof Theory, Thierry Coquand on Applications of Type Theory, Anton Freund on Dilators,  Tatsuji Kawai on Concepts of Continuity, and Dominique Larchey on Extraction of Programs in Coq. 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.

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