[TYPES/announce] Proof and Computation 2021

[Chuangjie Xu]

[Apologies for multiple postings.]

             Autumn school "Proof and Computation"
             Online, 13th and 14th September 2021
     http://www.mathematik.uni-muenchen.de/~schwicht/pcv21.php

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

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

TALKS
--------------------
- 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

REGISTRATION
--------------------
If you are interested in participating, please write to Nils Köpp
(koepp at math.lmu.de) 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.