News and Events: Conferences

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

15 - 21 September 2024, Autumn school "Proof and Computation", Fischbachau, Germany

Date: 15 - 21 September 2024
Location: Fischbachau, Germany
Target audience: Graduate or PhD students and young postdoctoral researchers
Deadline: Friday 7 June 2024

This year's international autumn school "Proof and Computation" will be held from 15th to 21st September 2024 in Fischbachau near Munich. Its aim 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.

For more information, see http://www.mathematik.uni-muenchen.de/~schwicht/pc24.php or contact Chuangjie Xu at .

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