International Conference on Applied Proof Theory 2022 (APT22)
Pescara (IT), August 29 – September 2, 2022

Participants

• 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)

Talks

• 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

Schedule

Conference location

Places to eat

Reaching 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.

Accommodations

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