PROOF and COMPUTATION 2022

Date: 26.09.2022 - 01.10.2022

The international autumn school "Proof and Computation" will be held from 26th September to 1st October 2022 at Aurachhof in Fischbachau near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.

Course and member of the organization commitee: Klaus Mainzer, President EASA

Lecture Klaus Mainzer: September 29, 9 to 9.50 a.m. 

Program_Autumn school_Proof and Computation

Place: Fischbachau am Schliersee

Time: