International Autumn School "Proof and Computation"

Date: 10.09.2023 - 16.09.2023

Every year the International School of "Proof and Computation" takes place in Bavaria with renowned lecturers of mathematics, computer science and philosophy, which will meet this year in Herrsching am Ammersee- Haus der bayerischen Landwirtschaft

Organization of this event: Prof.Dr. Klaus Mainzer, Easa President
Introductory lecture by President Klaus Mainzer: 11 September, 9- 9.50 a.m. 

Program_Autumn School Proof and Computation 2023

Publications to the previous meetings:

https://www.worldscientific.com/worldscibooks/10.1142/11005#t=aboutBook

https://www.worldscientific.com/worldscibooks/10.1142/12263#t=aboutBook

Place: Haus der bayerischen Landwirtschaft in Herrsching

Time: