Autumn school "Proof and Computation"
Herrsching, Germany, 10th to 16th September 2023
http://www.mathematik.uni-muenchen.de/~schwicht/pc23.phpThis year's international autumn school "Proof and Computation" will be held
from 10th to 16th September 2023 in Herrsching 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
- Extraction of Programs from Proofs
COURSES
--------------------
- Stefania Centrone: Husserl on the Totality of all Conceivable Arithmetical Operations
- Yannik Forster: MetaCoq
- Hugo Herbelin: The logical structure and computational contents of choice, barinduction and related principles