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.
Place: Fischbachau am Schliersee