Programme Overview

Colour key
Invited talk Tutorial Contributed talks Special sessions break

Monday Tuesday Wednesday Thursday Friday
09:00--09:15
09:15--10:15 Juan Pablo Aguilera Carolin Antos-Kuby Liron Cohen Γ…sa Hirvonen Su Gao
10:15--10:45 Coffee break
10:45--11:30 Philipp Hieronymi Rahul Santhanam Special Sessions: Set Theory/Type theory Philipp Hieronymi Rahul Santhanam
11:30--11:40 Room change Room change
11:40--12:45 Contributed talks 1 Contributed talks 2 Rahul Santhanam Contributed talks 4
12:45--14:15 Lunch break
14:15--15:15 Takayuki Kihara Philipp Hieronymi Nicholas Pischke Contributed talks 5
15:15--15:45 Coffee break Coffee break
15:45--16:45 Special Sessions: History/Computability theory Contributed talks 3 Special Sessions: Proof theory/Model theory
16:45--17:00 Room change
17:00--18:00 GΓΆdel Lecture: John Burgess
18:00--
19:00--

The GΓΆdel Lecture is free to join online for members of the public but requires registration. Attendance in person as part of Logic Colloquium does not require registration.



Abstracts

The Logic Colloquium 2026 abstract book may be found here.



Programme Details

Monday, June 29

08:30
09:00
09:15

The kappa-Turing degrees

Juan Pablo Aguilera
πŸ“ Lecture Room 002
10:15
Coffee break
10:45

Logic, Geometry, and Computation: A Survey of expansions of additive structures

Philipp Hieronymi
πŸ“ Lecture Room 002
11:30
Room change
11:40

Contributed talks (1)

Computability, Structure Theory

πŸ“ Lecture Room 003
  • (11:40) Russell Miller: Computable elements within tree-presented structures
  • (12:00) Gabriele Buriola: Well-ordering principles over recursive comprehension
  • (12:20) Davide Manca: Better-quasi-ordering sequences with the gap condition

Model Theory

πŸ“ Board Room (401)
  • (11:40) Masato Fujita: Connected components of sets definable in d-minimal expansion of the real field
  • (12:00) Galina Kaleeva: Universal equivalence of linear groups over rings
  • (12:20) AndrΓ© Rognes: On generalisations of a representation of the integers modulo p, for the purpose of occasionally establishing the unsolvability of diophantine inequalities

Philosophical Logic

πŸ“ Robert Recorde (102)
  • (11:40) Gabriele Pulcini: Relative contingency
  • (12:00) J. Albert Yoo: Non-composability of realised epistemic access: a type-theoretic account of temporal integration via parametricity
  • (12:20) Konstantinos Papafilippou: Categoricity-like properties applied to some 'friends' of Kfπœ‡

Proof Theory

πŸ“ Lecture Room 002
  • (11:40) Andreas Weiermann: Some averaged zero one laws for segments of proof-theoretic ordinals
  • (12:00) Dimitrios Tsintsilidas: Separation of induction and collection axiom in bounded arithmetic with student-teacher games
  • (12:20) Nox Cowie: Double negation elimination and the multiple succedent structure of LK
12:45
Lunch break
14:15

Recent advances in research on subtoposes of the effective topos

Takayuki Kihara
πŸ“ Lecture Room 002
15:15
Coffee break
15:45

Special Sessions

Tuesday, June 30

09:15

Conceptual change in set theory - between continuity and revolution

Carolin Antos-Kuby
πŸ“ Lecture Room 002
10:15
Coffee break
10:45

Provability of Complexity Lower Bounds

Rahul Santhanam
πŸ“ Lecture Room 002
11:30
Room change
11:40

Contributed talks (2)

Reverse Maths/Computability

πŸ“ Lecture Room 003
  • (11:40) Paul Shafer: Bounded Ramsey's theorem for triples in computability theory
  • (12:00) Mengzhou Sun: The cohesive and stable Ramsey theorems and proof size over a weak base theory
  • (12:20) Gian Marco Osso: The Laver partition theorem for open sets: the nucleus of Ramsey property and determinacy?

Model Theory

πŸ“ Board Room (401)
  • (11:40) Jeremy Beard: Limit models in strictly stable AECs
  • (12:00) Nazerke Mussina, Indira Tungushbayeva, Aibat Yeshkeyev: The hybrids of holographic Jonsson theories and their Jonsson spectrum
  • (12:20) Indira Tungushbayeva: On the number of Kaiser-normal classes in a fixed Jonsson spectrum

Philosophical Logic

πŸ“ Robert Recorde (102)
  • (11:40) Rodrigo Mena GonzΓ‘lez: Two logics for normative announcements
  • (12:00) Charles Walzer: A labelled sequent calculus for truthmaker semantics
  • (12:20) Ragna Oeynhausen: A truthmaker semantics for positive free logic

Proof Theory

πŸ“ Lecture Room 002
  • (11:40) Alexander V. Gheorghiu: Truth, support, and arithmetic
  • (12:00) Joachim Mueller-Theys: On the possibility of logical constructivism
  • (12:20) Hsing-Chien Tsai: Atomicity and identity in nontransitive mereology

Set Theory

πŸ“ Theory lab (209)
  • (11:40) Alvaro Diaz Ramos: Generalized Sums of Linear Orders
  • (12:00) Paul Blain Levy: Broad Infinity implies Mahlo assuming Choice: a direct proof
  • (12:20) Guohua Wu: On a subclass of Baire Class Ξ± functions
12:45
Lunch Break
14:15

Logic, Geometry, and Computation: A Survey of expansions of additive structures

Philipp Hieronymi
πŸ“ Lecture Room 002
15:15
Coffee break
15:45

Contributed Talks (3)

Computability

πŸ“ Lecture Room 003
  • (15:45) Stella Spadoni: On decidability and bounded proofs in fragments of computability logic
  • (16:05) Cosimo Perini Brogi: On protocol security via computability logic
  • (16:25) Giorgio Genovesi: The tree interpretation and transfinite recursion

Model Theory

πŸ“ Board Room (401)
  • (15:45) Aizhan Altayeva: On algebras of binary formulas in circularly ordered structures: piecewise monotonic case
  • (16:05) Mirko Engler: Semantic determinacy and self-interpretations of theories
  • (16:25) Nesta van der Schaaf: Localic Esakia duality

Philosophy of Mathematics/History

πŸ“ Robert Recorde (102)
  • (15:45) Daniel Isaacson: Dedekind's axiomatisation of arithmetic as a case of informal rigour
  • (16:05) Karol Wapniarski: Leibniz and Russell: on the birth of analytic philosophy
  • (16:25) Rezan Burcu BΓΌyΓΌkikiz: An introduction to Husserl's phenomenology: on the nature of numbers

Proof Mining

πŸ“ Lecture Room 002
  • (15:45) Andrei Sipos: A worked example in proof mining in uniformly convex Banach spaces
  • (16:05) Morenikeji Neri: Extracting bounds from proofs involving ultraproducts
  • (16:25) Horatiu Cheval: $\mathbb{K}$ definitions as Matching Logic theories

Intuitionistic Set Theory/Philosophy

πŸ“ Theory lab (209)
  • (15:45) Shuwei Wang: Indexed hierarchies and internal structure in the ordinal class in intuitionistic set theories
  • (16:05) Patrick Uftring: Independence of premise for IZF
  • (16:25) Simone Picenni: Conceptions of sets and classes in a class theory with a universal set
16:45
Room change
17:00

Godel Lecture: Logical & Mathematical Conventionalism

John Burgess
πŸ“ Lecture Room 002
18:00

Wednesday, July 1

09:15

The Effects of Effects on Constructivism

Liron Cohen
πŸ“ Lecture Room 002
10:15
Coffee break
10:45

Special Sessions

12:45
Lunch break
14:15

Thursday, July 2

09:15

Ultraproduct approximations in metric model theory

Γ…sa Hirvonen
πŸ“ Lecture Room 002
10:15
Coffee break
10:45

Logic, Geometry, and Computation: A Survey of expansions of additive structures

Philipp Hieronymi
πŸ“ Lecture Room 002
11:30
Room change
11:40

Provability of Complexity Lower Bounds

Rahul Santhanam
πŸ“ Lecture Room 002
12:45
Lunch break
14:15

Extracting uniform bounds from noneffective proofs in probability theory

Nicholas Pischke
πŸ“ Lecture Room 002
15:15
Coffee break
15:45

Special Sessions

19:00

Friday, July 3

09:15

The isomorphism relation of non-Archimedean Polish groups

Su Gao
πŸ“ Lecture Room 002
10:15
Coffee break
10:45

Provability of Complexity Lower Bounds

Rahul Santhanam
πŸ“ Lecture Room 002
11:30
Room change
11:40

Contributed talks (4)

Provability Logic

πŸ“ Lecture Room 003
  • (11:40) Giovanni SoldΓ : Towards infinitary GL
  • (12:00) Felix Frigola Gonzalez: On the Goldblatt-Thomason theorem for interpretability logic
  • (12:20) Elise Perrotin: The logic behind Hanabi

Type Theory

πŸ“ Board Room (401)
  • (11:40) Aref Mohammadzadeh: Generalized decidability via Brouwer ordinals
  • (12:00) Pablo Donato: Towards a Curry-Howard correspondence for existential graphs
  • (12:20) Harry Bryant: Certified assurance for railway interlockings: from SAT proofs to mechanised verification in Rocq and Agda

Philosophy of Mathematics/Finitism

πŸ“ Robert Recorde (102)
  • (11:40) Alessandro Giglia: Against the equivalence of potentialist and actualist set theories
  • (12:00) Matthias Eberl: Formalizing indefinite extensibility
  • (12:20) Aleksi Honkasalo: Modal alternative set theory

Proof Mining

πŸ“ Lecture Room 002
  • (11:40) Thomas Powell: On the structure of convergence proofs in stochastic optimization
  • (12:00) Pedro Pinto: A finitistic perspective on convergence results
  • (12:20) Laurentiu Leustean: Effective methods: logic and optimization

Set Theory

πŸ“ Theory lab (209)
  • (11:40) Yiping Miao: Generic reals and gauge dimensions
  • (12:00) James E. Hanson: Small large cardinals and neostability theory
12:45
Lunch break
14:15

Contributed Talks (5)

Reverse Maths/Computability

πŸ“ Lecture Room 003
  • (14:15) Mihai Prunescu: Closed formulas for arbitrary Kalmar elementary functions
  • (14:35) Benjamin Koch: On the computational strength of Hausdorff oracles
  • (14:55) Eike Neumann: On the complexity of quadratic iteration

Philosophy of Mathematics

πŸ“ Robert Recorde
  • (14:15) David Appadourai: Localising overgeneration: a three-strata decomposition of formal proof
  • (14:35) Chanwoo Lee and S. Kaan Tabakci: Model-theoretic inferentialism: the best of both worlds
  • (14:55) Stan Srednyak: Theory of higher differentiable functionals and applications
  • (15:15) Ramazan Ayupov: Analyticity and contemporary formal theories: Hintikka's typology and the case of type theory

Proof Theory

πŸ“ Lecture Room 002
  • (14:15) Anton Setzer: Bachmann-Howard from below
  • (14:35) Elio La Rosa: Skolemization and Herbrand's Theorem for intermediate logics over predicate abstraction
  • (14:55) Alakh Dhruv Chopra: Well-founded trees with leaf labels, and their applications
15:45