An international conference on applied proof theory will be held from June 21st to 25th in Pescara, Italy.
Abstract
Proofs in mathematical practice serve to warrant the truth of mathematical theorems. Proof theory, i.e. the abstract study of proofs in logic, arose from Hilbert’s programme for the foundations of mathematics; the aim of the latter was to put abstract mathematics on a firm formal basis by proving its consistency in the meta-mathematics and by finitary methods only. Gödel's incompleteness theorems allegedly show the impossibility of Hilbert's programme as such but thus have stood and mark the beginning of a seminal paradigm shift in proof theory: to use mathematical proofs as a rich source of computational information such as certfied algorithms and effective bounds. Current research in this fast-growing area is known under terms such as dynamical methods, program extraction, and proof mining in mathematics, computer science, and philosophy. Our aim is to present all aspects of the state-of-the-art and foster interdisciplinary exchange.
A previous edition of this conference was held in Pescara in 2022 (APT 2022).
Scope
Applied proof theory, including:
- proof mining,
- program extraction from proofs,
- proof theory in computer science logic,
- proof theory of non-classical logics,
- proof theory and artificial intelligence,
- dynamical methods,
- related areas.
Conference location
Università degli Studi “G. d'Annunzio” di Chieti-Pescaraviale Pindaro 42, Pescara
Room 9-11
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 through 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.
Location: center of Pescara, at the seafront (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)
Location: center of Pescara (the conference place can be reached by bus in 15 minutes)
Location: at the seafront (the conference place can be reached on foot in 15 minutes)
