Proof and Computation 2021

Chuangjie Xu xu at
Thu Jul 15 05:27:39 EDT 2021

[Apologies for multiple postings.]

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

This year's autumn school "Proof and Computation" will be held as an online
workshop from 13th to 14th September 2021.

- Predicative Foundations
- Constructive Mathematics and Type Theory
- Computation in Higher Types
- Extraction of Programs from Proofs

- Liron Cohen: Effectful Proving (and Disproving)
- David Corfield: Modal Type Theories
- Grigory Devadze: Computer-certified proofs for control theoretic aspects
   and program extraction
- Dominik Kirst: Formalising Metamathematics in Constructive Type Theory
- Klaus Mainzer: Proof and Computation: Perspectives of Mathematics,
   Computer Science, and Philosophy
- Antonio Piccolomini d'Aragona: Epistemic grounding. Semantics and
   calculi based on Prawitz's theory of grounds
- Sebastian Posur: On free abelian categories for theorem proving
- Florian Steinberg: Continuity, computability and discreteness
- Holger Thies: Complexity Theory in Analysis with Applications to
   Differential Equations

If you are interested in participating, please write to Nils Köpp
(koepp at to receive the Zoom link.

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

This message was sent using IMP, the Internet Messaging Program.

More information about the FOM mailing list