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:


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

mehr zu dem Projekt