Proof Society 2025

Class A (Zaal 1.05)

Rooms

The room can be found upstairs on the first floor, after walking down the hallway and up the staircase (next to the break area with the coffee).

Hallway:

Hallway

Stairs:

Hallway and Stairs Stairs

Class A (Zaal 1.05):

Class A

Talks in this room:

Monday

10:00	Impredicative ordinal analysis Henry Towsner
11:30	Tarski-style axiomatic truth theories Ali Enayat
14:30	Impredicative ordinal analysis Henry Towsner
16:00	Tarski-style axiomatic truth theories Ali Enayat

Tuesday

10:00	Impredicative ordinal analysis Henry Towsner
11:30	Tarski-style axiomatic truth theories Ali Enayat
14:30	The ubiquitous interpretation Albert Visser
16:00	Introduction to bounded arithmetic Raheleh Jalali

Wednesday

10:00	The ubiquitous interpretation Albert Visser
11:30	Introduction to bounded arithmetic Raheleh Jalali
14:30	The ubiquitous interpretation Albert Visser
16:00	Introduction to bounded arithmetic Raheleh Jalali

Thursday

9:30	Taming proof systems towards uniform interpolation Iris van der Giessen
10:50	A modular ordinal analysis for fragments of induction principles Koshiro Ichikawa
11:10	A classification of the provably total set-recursive functions of KPl, KPl^r and W-KPl Anton Fernández
11:30	Predicative recursion on the Veblen hierarchy Vitor Greati
11:50	Rewrite normalization in tree rewriting calculi for strictly positive logics Sofía Santiago-Fernández, David Fernández-Duque, Joost Joosten
12:10	The barrier Ramsey theorem Andrea Volpi
14:00	Justification logic for intuitionistic modal logic Paaras Padhiar
14:20	Interpolation for the two-way modal $µ$ -calculus Johannes Kloibhofer
14:40	The modal cube revisited: semantics without worlds Elaine Pimentel
15:00	Three alternative systems with alternatives Luiz Carlos Pereira
15:50	Proof theory of stable ordinals Toshiyasu Arai
16:50	Proof Society general assembly

Friday

9:30	The norms of RCA₀ Juan Pablo Aguilera
10:50	Correctness of the AKS primality algorithm in bounded arithmetic Raheleh Jalali
11:10	Speedup for Presburger arithmetic and real closed fields Julien Daoud
11:30	Definiteness properties of arithmetical theories Piotr Gruza
11:50	General inductive definitions and their proof theory from a perspective of knowledge representation Robbe Van den Eede
12:10	Bilateralist base-extension semantics with incompatible proofs and refutations Victor Barroso Nascimiento, Maria Osório Costa, Elaine Pimentel
14:00	A non-wellfounded and labelled sequent calculus for bimodal provability logic Justus Becker
14:20	Non-wellfounded languages and proofs Philipp Provenzano
14:40	Extracting computational content from cyclic proofs using higher order recursion schemes Giacomo Barlucchi
15:00	Matching (co)patterns with cyclic proofs Lide Grotenhuis
15:50	In memory of Wolfram Pohlers - a personal account Arnold Beckmann
16:50	Predicative foundations of the Mahlo universe in Martin-Löf type theory Anton Setzer
17:40	Best Student Presentation award ceremony