Autumn school "Proof and Computation"
Date: 13.09.2021 - 14.09.2021
EASA with Ludwig Maximilians University Munich and University of Verona
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: Proof and Computation (Autumn School pcv21)
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
Time:
