Friday, December 13

9:00	–	9:10	Opening
9:15	–	10:00	Wolfram Pohlers From Subsystems of Classical Analysis to Subsystems of Set Theory: A personal account
10:00	–	10:45	Wilfried Buchholz On the Ordnungszahlen in Gentzen's First Consistency Proof
10:45	–	11:15	Coffee break
11:15	–	12:00	Andrea Cantini About Truth, Explicit Mathematics and Sets
12:00	–	12:45	Peter Schroeder-Heister Proofs That, Proofs Why, and the Analysis of Paradoxes
12:45	–	14:15	Lunch
14:15	–	15:00	Roy Dyckhoff Intuitionistic Decision Procedures since Gentzen
15:00	–	15:45	Grigori Mints Two Examples of Cut Elimination for Non-Classical Logics
15:45	–	16:15	Coffee break
16:15	–	17:00	Rajeev Goré From Display Calculi to Decision Procedures via Deep Inference for Full Intuitionistic Linear Logic
17:00	–	17:45	Pierluigi Minari Transitivity Elimination: Where and Why

Saturday, December 14

10:15	–	11:00	Per Martin-Löf Sample Space–Event Time
11:00	–	11:30	Coffee break
11:30	–	12:15	Anton Setzer Pattern and Copattern Matching
12:15	–	13:00	Helmut Schwichtenberg Computational Content of Proofs Involving Coinduction
13:00	–	14:30	Lunch
14:30	–	15:15	Michael Rathjen When Kripke–Platek Set Theory Meets Powerset
15:15	–	16:00	Stan Wainer A Miniaturized Predicativity
16:00	–	16:30	Coffee break
16:30	–	17:15	Peter Schuster Folding Up
17:15	–	17:45	Coffee break
17:45	–	18:30	Solomon Feferman The Operational Perspective