Autumn school "Proof and Computation", 13th and 14th September 2021

An international autumn school "Proof and Computation" will be held virtually from 13th to 14th September 2021. Its aim is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy. Previous autumn schools in this series were PC19 in Herrsching, PC18 in Fischbachau (Aurachhof), PC17, PC16.





If you are interested in participating please send an email to Nils Köpp (koepp[at]

Public screening in Augsburg

For participants interested in meeting in person instead of online, there will be an organized public screening at the University of Augsburg. In addition to following the talks together, there will be informal exercise and discussion sessions and a conference dinner. The hope is to recreate a small part of the unique atmosphere of previous installments of Proof and Computation. Free simple accomodation is provided, but there is no travel reimbursement. The meeting starts on Monday and ends on either Tuesday or Wednesday, depending on demand. To participate in Augsburg, a mandatory but nonbinding registration with the local organizer Ingo Blechschmidt is required. You need to be vaccinated, recovered or tested.


The workshop is supported by the Udo Keller Stiftung (Hamburg) and the CID (Computing with Infinite Data) programme of the European Commission.

Klaus Mainzer
Peter Schuster
Helmut Schwichtenberg

Last change: 10. September 2021