International Workshop on Programs from Proofs
University of Bath, 15–16 September 2025

This one-off workshop aims to bring together researchers from different backgrounds and traditions who share a common interest in the computational content of proofs. A particular focus will be on the application of ideas and techniques from proof theory to systematically extract this content, though the workshop will encompass both theory and application, and will cover research across pure mathematics, logic, theoretical computer science, and computer formalised mathematics.

The event is supported by the EPSRC grant Imperative Programs from Proofs and the Department of Computer Science at the University of Bath.

Programme (provisional)

Talks will take place in the Department of Computer Science 1W 2.104.

Monday 15 September

• 0900–0930 Arrival and welcome
• 0930–1020 Ulrich Kohlenbach (TU Darmstadt)
• 1020–1050 Coffee and discussion
• 1050–1140 Laura Fontanella (Paris Est)
• 1140–1230 Pierre-Marie Pedrot (Inria Rennes-Bretagne-Atlantique)
• 1230–1410 Lunch
• 1410–1500 Horatiu Cheval (University of Bucharest)
• 1500–1550 Keji Neri (TU Darmstadt)
• 1550–1620 Coffee and discussion
• 1620–1710 Thomas Powell (University of Bath)
• 1830 Workshop dinner (TBC)

Tuesday 16 September

• 0930–1020 Paulo Oliva (Queen Mary University of London)
• 1020–1050 Coffee and discussion
• 1050–1140 Paolo Pistone (ENS Lyon)
• 1140–1230 Guillaume Geoffroy (Université Paris Cité)
• 1230–1410 Lunch
• 1410–1500 Nicholas Pischke (University of Bath)
• 1500–1550 Anupam Das (University of Birmingham)
• 1550–1620 Coffee and discussion
• 1620–1710 Davide Barbarossa (University of Bath)
• 1830 Informal plans (TBC)

Venue

The main campus of the University of Bath is located on a hilltop just outside the city centre. It is within walking distance from Bath Spa train station in principle, but you should allow 30–40 minutes and be wary that the route involves a steep uphill climb. A more comfortable alternative is to take one of the regular bus connections from the city centre to the campus. Further information on how to get to the university can be found here, with details of bus routes here.

Organisers

• Davide Barbarossa
• Thomas Powell