Pescara (IT), August 29 – September 2, 2022

An international conference on applied proof theory will be held from 29th August to 2nd September 2022 in Pescara, Italy. The meeting will take place in person, with some online components via Zoom or equivalent construct if required.

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

- Luca Aceto (Reykjavik University & Gran Sasso Science Institute)
- Matthias Baaz (Vienna University of Technology)
- Stefano Berardi (University of Turin)
- Fernando Ferreira (University of Lisbon)
- Anton Freund (Technical University of Darmstadt)
- Emanuele Frittaion (Technical University of Darmstadt)
- Makoto Fujiwara (Tokyo University of Science)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Ulrich Kohlenbach (Technical University of Darmstadt)
- Laurențiu Leuştean (University of Bucharest)
- Genaro López-Acedo (University of Seville)
- Marco Maggesi (University of Florence)
- Stefan Neuwirth (University of Franche-Comté)
- Adriana Nicolae (Babeş-Bolyai University)
- Paulo Oliva (Queen Mary University of London)
- Eugenio Orlandelli (University of Bologna)
- Iosif Petrakis (Ludwig Maximilian University of Munich)
- Mario Piazza (Scuola Normale Superiore)
- Pedro Pinto (Technical University of Darmstadt)
- Nicholas Pischke (Technical University of Darmstadt)
- Thomas Powell (University of Bath)
- Andrei Sipoș (University of Bucharest)
- Matteo Tesi (Scuola Normale Superiore)
- Henry Towsner (University of Pennsylvania)
- Benno van den Berg (University of Amsterdam)
- Jan von Plato (University of Helsinki)
- Andreas Weiermann (Ghent University)

- Aceto,
*The importance of being negative: Non-finite axiomatisability results in process algebra* - Amato,
*Universal Algebra in UniMath* - Baaz,
*The proof-theoretic analysis of incorrect proofs* - Berardi,
*An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles* - Fellin,
*Glivenko-style results for nuclei in entailment relations* - Ferreira,
*The abstract type of the real numbers* - Freund,
*Proof mining nonexpansive operators in Banach spaces* - Fujiwara,
*Proof interpretations on finite-type arithmetic and uniform provability in reverse mathematics* - Ishihara,
*Place holders* - Kohlenbach,
*Proof Theory of Rectangular Operators and the Brezis-Haraux Theorem* - Leuştean,
*Proof mining in optimization and nonlinear analysis* - López-Acedo,
*Ulrich insight into the lion-man game* - Maggesi,
*Building proof and countermodels in HOL Light of the provability logic GL* - Neuwirth,
*Kreisel and Lorenzen on proofs of the Cantor-Bendixson theorem* - Nicolae,
*Instances of proof mining in optimization theory* - Oliva,
*On the structure of realizability and functional interpretations* - Petrakis,
*Strong negation: from constructive mathematics to the theory of computable functionals TCF* - Pinto,
*Proof mining on PDE theory* - Pischke,
*Proof Mining and Monotone Operator Theory* - Powell,
*Personal reflections on becoming an applied proof theorist, and thoughts for the future* - Sanders,
*Informal proof mining* - Sipoș,
*On extracting variable Herbrand disjunctions* - Tesi,
*On the embedding of intuitionistic logic in the logic of provability GL* - Towsner,
*Proof Mining in Differential Algebra* - van den Berg,
*Applicative lattices for modified realizability* - von Plato,
*Gödel, Barr's theorem, and the logic of provability: account of an anticipation* - Weiermann,
*On the monotone Bolzano-Weierstraß principle by Harvey Friedman*

**Registraton is open until August 25th.**

Limited support is available for PhD students and early postdocs. Please write no later than 25th August to Peter Schuster. Please include a CV, a brief motivation letter and for PhD students a statement by the supervisor.

Aula 9-11

University of Chieti–Pescara

viale Pindaro 42, Pescara

Pescara has a small airport, Abruzzo Airport, very close to downtown. If traveling directly to Abruzzo Airport is not an option (very likely!), consider going through Rome Fiumicino Airport. From there, there are many bus connections (3h10m - 4h00m travel time), with either Prontobus, Di Carlo Bus or Flixbus.

Another option is landing in Rome Ciampino Airport: from there you can find bus connections to Pescara (~ 3h30m travel time) with Prontobus, Flixbus or itabus. If you are in Rome but not at the airport, all companies above have buses departing from Rome Tiburtina bus station.

You can also reach Pescara by trains departing from Rome Tiburtina train station. However, trains on the line Rome–Pescara are quite slow. On the bright side, the trip by train is interesting since trains pass trough many small rural villages in the innermost part of Italy. If you have time to spare (and no work to do... probably no Internet connection there) it could be an alternative.

If you are in Italy everywhere else, you can reach Pescara by bus (see bus companies above) or train.

This is a list of hotels in downtown Pescara or near the place of the conference.

4-stars hotel

Location: center of Pescara, at the seafront (the conference place can be reached by bus in 15 minutes)

Location: center of Pescara, at the seafront (the conference place can be reached by bus in 15 minutes)

4-stars hotel

Location: center of Pescara (the conference place can be reached by bus in 15 minutes)

Location: center of Pescara (the conference place can be reached by bus in 15 minutes)

3-stars hotel

Location: center of Pescara (the conference place can be reached by bus in 15 minutes)

Location: center of Pescara (the conference place can be reached by bus in 15 minutes)

3-stars hotel

Location: close to the university, at the seafront (the workshop place can be reached on foot in 15 minutes)

Location: close to the university, at the seafront (the workshop place can be reached on foot in 15 minutes)

Location: close to the university (the conference place can be reached on foot in 5 minutes)

3-stars hotel

Location: at the seafront (the conference place can be reached on foot in 15 minutes)

Location: at the seafront (the conference place can be reached on foot in 15 minutes)

Gianluca Amato

Dipartimento di Economia

Università degli Studi “G. d'Annunzio”, Italy

Giulio Fellin

Dipartimento di Informatica

Università degli Studi di Verona, Italy

Sam Sanders

Institute for Philosophy II

Ruhr-Universität Bochum, Germany

Peter Schuster

Dipartimento di Informatica

Università degli Studi di Verona, Italy

AILA - Associazione Italiana di Logica e sue Applicazioni

GNSAGA - Gruppo Nazionale per le Strutture Algebriche, Geometriche e le loro Applicazioni

Università degli Studi "G. D'Annunzio" Chieti-Pescara - Dipartimento di Economia

Università degli Studi di Verona - Dipartimento di Informatica