Autumn school "Proof and Computation"

Conference by the European Academy of Sciences and Arts
Its aim is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy.
Introduction Klaus Mainzer, President of the EASA: "Proof and Computation":
Perspectives of Mathematics, Computer Science, and Philosophy, 13.September 2-4 p.m. 

Workshop Program

ZOOM Invitation Links:

13.9:

Zoom-Meeting beitreten
https://lmu-munich.zoom.us/j/95580426782?pwd=Y3Nob0txN0hjTFZnYXNyaE1FTmVqZz09

Meeting-ID: 955 8042 6782
Kenncode: 300198

14.9:

Zoom-Meeting beitreten
https://lmu-munich.zoom.us/j/97209540573?pwd=VHozbzloMklMY0ZSZmZkSDZYSm4xUT09

Meeting-ID: 972 0954 0573
Kenncode: 570922

This workshop is supported by the Udo Keller Stiftung (Hamburg) and the CID programme  of the European Commission

Place: Zoom Conference