Please note that this newsitem has been archived, and may contain outdated information or links.
13 - 14 September 2021, 5th International Autumn School "Proof and Computation" , Online
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.
Unfortunately because of the present situation we had to cancel the event. More precisely, it will be held as an online workshop from 13th to 14th September 2021.
Please note that this newsitem has been archived, and may contain outdated information or links.