Autumn school "Proof and Computation"
Fischbachau, Germany, 16th to 22nd September 2018
An international autumn school "Proof and Computation" will be held
from 16th to 22nd September 2018 at Aurachhof 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
- Extraction of Programs from Proofs
COURSES
--------------------
- Ulrich Berger on Program Extraction from Proofs
- Martin Escardo on Continuity in Constructive Analysis
- Graham Leigh on Truth Theories
- Thomas Powell on Proof Mining
- Michael Rathjen on Constructive Set Theory and Type Theory