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: 


Zoom-Meeting beitreten

Meeting-ID: 955 8042 6782
Kenncode: 300198


Zoom-Meeting beitreten

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


Website made by Agentur Klartext