[TYPES/announce] Applied Proof Theory 2022 (APT22) in Pescara, Italy (Aug 29-Sept 2, 2022).

[Sam Sanders]

Dear All,

We are organising a conference on applied proof theory from 29th August to 2nd September 2022 in Pescara, Italy.

https://urldefense.com/v3/__https://www.sci.unich.it/apt22/__;!!IBzWLUs!S9YwVOZDbobYCgl7J5-K8ZtYSsUknVv_4kSYlxYhLj1Wg6xH79PYTs2k-j56TLnhNAKTrqWuVIN6IKnNFhnk0-bTc7CW$ 

The meeting will take place 'in person', with some online components depending on the health/travel situation.

Registration will remain open until 25th August.

The topics of APT22 are as follows:

• proof mining,
• program extraction from proofs,
• proof theory in computer science logic,
• proof theory of non-classical logics,
• dynamical methods,
• related areas.

Talks presented at APT22 will include:

• Luca Aceto, The importance of being negative: Non-finite axiomatisability results in process algebra
• Matthias Baaz, The proof-theoretic analysis of incorrect proofs
• Stefano Berardi, An Arithmetical Hierarchy of the Law of ExcludedMiddle and Related Principles
• Fernando Ferreira, The abstract type of the real numbers
• Anton Freund, Proof mining nonexpansive operators in Banach spaces
• Makoto Fujiwara, Proof interpretations on finite-type arithmetic and uniform provability in reverse mathematics
• Hajime Ishihara, Place holders
• Annika Kanckos, The No-counterexample Interpretation in an Invertible Sequent Calculus
• Ulrich Kohlenbach, Proof Theory of Rectangular Operators and the Brezis-Haraux Theorem
• Genarro López-Acedo, Ulrich insight into the lion-man game
• Marco Maggesi, Building proof and countermodels in HOL Light of the provability logic GL
• Stefan Neuwirth, Kreisel and Lorenzen on proofs of the Cantor-Bendixson theorem
• Andrea Nicolae, Instances of proof mining in optimization theory
• Pedro Pinto, Halpern and Mann iterative schemes: A path towards generalization
• Nicholas Pischke, Proof Mining and Monotone Operator Theory
• Thomas Powell, Personal reflections on becoming an applied proof theorist, and thoughts for the future
• Matteo Tesi, On the embedding of intuitionistic logic in the logic of provability GL
• Henri Towsner, Proof Mining in Differential Algebra
• Benno van den Berg, Applicative lattices for modified realizability
• Jan von Plato, Gödel, Barr's theorem, and the logic of provability: account of an anticipation


The organisers:

Gianluca Amato
Dipartimento di Economia
Università degli Studi “G. d'Annunzio”, Italy

Sam Sanders
Institute for Philosophy II
Ruhr-Universität Bochum, Germany

Peter Schuster
Dipartimento di Informatica
Università degli Studi di Verona, Italy