13-14 Sep 2021
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 Kpp
(koepp@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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and
Hamburg, and the ILLC at the Universiteit van Amsterdam