Autumn school "Proof and Computation"

Date: 13.09.2021 - 14.09.2021

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:

Website made by Agentur Klartext