Logic Colloquium Schedule

Shortcuts:

Location:

  • All talks take place at TU Wien, “Freihaus” building. The address is Wiedner Hauptstrasse 8-10.

  • Room FH Hörsaal 1 is located in the red area, floors 1 and 2.

  • Rooms FH Hörsaal 2, FH Hörsaal 3, FH Hörsaal 4, and FH Hörsaal 7 are located in the yellow area, floor 2.

  • Plenary talks and tutorials take place in FH Hörsaal 1 (red area, floors 1 and 2).

  • Special sessions take place in FH Hörsaal 1, FH Hörsaal 3, and FH Hörsaal 7 (see above).

  • Contributed talks take place in all rooms (see below).

Abstracts:

Here you may find a partial compilation of abstracts.

Information for speakers and chairs:

  • All rooms are equipped with a blackboard and chalk, as well as a beamer with HDMI input. Bring your own computer or tablet or make friends with the people in your session to coordinate :)

  • Each special session is curated, scheduled, and chaired by its respective organizers. The duration of talks varies per session.

  • Contributed talks are 15 minutes including questions, with a 5-minute window for changeover. Typically the talks themselves will last 10–12 minutes.

Gödel Lecture

Wednesday, 17:30. FH. Hörsaal 1. Chair: Jouko Väänänen

The Gödel Lecture is an honor in mathematical logic given by the Association for Symbolic Logic, linked to an annual lecture at one of the association's general meetings. The award is named after Kurt Gödel and has been given annually since 1990. This year, the 2025 Gödel Lecture will be delivered at Logic Colloquium 2025 by:

Joan Bagaria

and will have as title

New challenges to our conception of the Higher Infinite

The Gödel lecture will be open to the public.

Plenary Talks

Monday

FH Hörsaal 1. Chair: Natasha Dobrinen

  • 10:00 - Saharon Shelah:

  • 11:30 - Henry Towsner (tutorial): Fast-growing Functions, Ordinals, and Proof Theoretic Strength.

Tuesday

FH Hörsaal 1. Chair: Russell Miller

  • 9:00 - Maryanthe Malliaris: Ultrafilters and model theory.

  • 10:30 - Henry Towsner (tutorial): Fast-growing Functions, Ordinals, and Proof Theoretic Strength. 

  • 11:30 - Patrick Lutz: A theory which really doesn’t have a computable model.

Wednesday

FH Hörsaal 1. Chair: Sandra Müller, Corey Switzer, and Bahareh Afshari

  • 9:00 - Benjamin Siskind: The status of order-preserving Martin’s Conjecture.

  • 10:30 - Dima Sinapova (tutorial): Compactness principles: the tree property and friends.

  • 11:30 - Bahareh Afshari: Demystifying μ.

  • 16:30 - Henry Towsner (tutorial): Fast-growing Functions, Ordinals, and Proof Theoretic Strength.

Thursday

  • 9:00 - Ulrik Buchholz: Logical aspects of simplicial type theory.

  • 10:30 - Dima Sinapova (tutorial): Compactness principles: the tree property and friends.

  • 11:30 - Thomas Colcombet:

Friday

FH Hörsaal 1. Chair: Juliette Kennedy

  • 10:30 (!) - Sonja Smets: Comparing knowledge.

  • 11:30 - Sébastien Gandon: Jean Nicod’s Geometry in the sensible world: an early interplay between logic and French philosophy.

  • 16:30 (!) - Dima Sinapova (tutorial): Compactness principles: the tree property and friends.

Special Sessions

Proof Theory. Organized by Matthias Baaz (TU Wien) and Stefan Hetzl (TU Wien).

  • Anupam Das:

  • Luisa Deprés:

  • Anela Lolić:

  • Dale Miller:

Model Theory. Organized by Amador Martin-Pizarro (Freiburg) and Jonathan Kirby (UEA).

  • 14:00 - Jana Marikova: Matchings, measures and Grothendieck groups.

  • 14:40 - Pierre Touchard: On reduced products of first order structures: which groups recognize coordinates?

  • 15:20 - Tingxiang Zou: Around the Elekes-Szabó Theorem.

Set Theory. Organized by Aristotelis Panagiotopoulous (UniVie), Farmer Schlutzenberg (TU Wien), and Vera Fischer (UniVie).

  • Jan Grebik: Poisson-Voronoi percolation in higher rank.

  • Rahman Mohammadpour: A Very Strong Higher Guessing Model Principle.

  • Jonathan Schilhan: Properness and universal domination.

Computability Theory. Organized by Paul Shafer (Leeds) and Laurent Bienvenu (Bordeaux).

  • George Barmpalias:

  • Ellen Hammatt:

  • Giovanni Soldà: A Proof of Generalized Higman’s Lemma Using Iterated Ideals.

Logic in Computer Science. Organized by Brett McLean (UGent) and Michael Pinsker (TU Wien).

  • Szymon Toruńczyk: Monadically dependent classes and the model checking problem.

  • Jakub Opršal: Homotopy and the complexity of homomorphism problems.

Logic and Leibniz. Organized by Juliette Kennedy (Helsinki), David Rabouin (CNRS), and Vincenzo de Risi (CNRS).

  • Filippo Costantini: Leibniz’s mereology.

  • Marko Malink and Anubav Vasudevan (TBC): Every truth is analytic: Leibniz on conceptual containment.

  • Massimo Mugnai: Leibniz, the Boolean Algebra and the nature of the conditional corresponding to the relation of containment.

  • Alessia Salierno: Some notes on Leibniz’s geometrical calculus.

Condensed Mathematics. Organized by Jeffrey Bergfalk (Barcelona) and Chris Lambie-Hanson (CAS).

  • Dagur Asgeirsson: Formalized condensed mathematics.

  • Dianthe Basak: Orion’s Belt: what set theory can and cannot say about condensed mathematics.

  • Matteo Viale: The Wallman compactification is universal among T1 compactifications.

Contributed Talks

Monday

FH Hörsaal 1. Chair: Mateusz Łełyk

  • 16:30 - Russell Miller: Computability for the additive group of p-adic integers

  • 16:50 - Martin Ritter: Isomorphism relations on classes of c.e. algebras

  • 17:10 - Paolo Marimon: When invariance implies exchangeability

  • 17:30 - Patryk Szlufik: Scott ranks of models of elementary arithmetic

  • 17:50 - Josiah Jacobsen-Grocott: A ceer that is uniformly effectively inseparable but not uniformly finitely pre-complete

FH Hörsaal 2. Chair: Kees van Berkel

  • 16:30 - Alexandru Baltag: Knowing hypothetical values

  • 16:50 - Guillaume Massas: Infinite proofs and arithmetical truth

  • 17:10 - Huimin Dong: Permissible shared knowledge

  • 17:30 - Brett McLean: Difference-restriction algebras with operators

  • 17:50 - Fan Yang: Generalising propositional team semantics

  • 18:10 - Yoàv Montacute: Expressivity meets decidability in spatiotemporal logics

FH Hörsaal 3. Chair: Anela Lolic

  • 16:30 - Sebastijan Horvat: A non-wellfounded cut-free sequent calculi for IL

  • 16:50 - Borja Sierra Miranda: Uniform interpolation for IL via cyclic proofs

  • 17:10 - Leonardo Pacheco: IGL via w-rules

  • 17:30 - Mariami Gamsakhurdia: On the false-tolerant structure of Hilbert's epsilon calculus

  • 17:50 - Marco Abbadini: An algebraic version of Herbrand's theorem

  • 18:10 - Richard Zach: Fitting-style tableaux for some multimodal logics with inclusion axioms

FH Hörsaal 4. Chair: Mojtaba Mojtahedi

  • 16:30 - Taishi Kurahashi: Lyndon interpolation property for extensions of S4 and intermediate logics

  • 16:50 - Vicent Navarro Arroyo: Principles of interpretability logic in the intersection of ILP and IL

  • 17:10 - Ren-June Wang: Towards a logic of proofs: reasoning about Gentzen-style derivations

  • 17:30 - Haruka Kogure: Some results on partially conservative sentences

  • 17:50 - Sara Ayhan: Contradictions without negation and a proof-theoretic understanding of connexive logics

FH Hörsaal 7. Chair: Martina Iannella

  • 16:30 - Jonathan Osinski: Some new results on ULST and strong ULST numbers for general logics

  • 16:50 - Fernando Barrera: The modal logic of forcing and inner models

  • 17:10 - Grigorii Stepanov: Stationary reflection under AD and provability logic

  • 17:30 - Cesare Straffelini: Higher Solovay models

  • 17:50 - Calliope Ryan-Smith: Local reflections of choice

Tuesday

FH Hörsaal 1. Chair: Fernando Barrera

  • 16:30 - Jörg Brendle: The splitting number for mad families

  • 16:50 - Takehiko Gappo: Separating maximality principles

  • 17:10 - Gunter Fuchs: A new context for the strong reflection principle

  • 17:30 - Tatsuya Goto: Goldstern's principle

  • 17:50 - Takashi Yamazoe: Game-theoretic variants of splitting number

FH Hörsaal 2. Chair: Leonardo Pacheco

  • 16:30 - Yuta Sato: Analysis of the pure logic of necessitation and its extensions

  • 16:50 - Orvar Lorimer Olsson: Proof systems for logics in power-algebras from varieties

  • 17:10 - Sophie Nagler: Inference behaviour semantics for all* connectives in two-dimensional sequent calculi

  • 17:30 - Yuki Nishimura: Terminating tableau calculi for hybrid logics

  • 17:50 - Karol Wapniarski: Logical diagrams and empty terms

  • 18:10 - Elio La Rosa: Conservative extending intuitionistic logic by epsilon terms over predicate abstraction

FH Hörsaal 3. Chair: Paolo Marimon

  • 16:30 - Samuel Braunfeld: Limits of sequences of finite structures in monadically stable theories

  • 16:50 - Nicolás Nájar-Salinas: Exploring NIP in abstract elementary classes

  • 17:10 - James E. Hanson: Special coheirs and model-theoretic trees

  • 17:30 - D.E. Quadrellaro: On the model theory of open incidence structures

  • 17:50 - Dana Bartošová: Semi-retractions and pre-adjunction as a measure of complexity of Ramsey theorems

FH Hörsaal 4. Chair: Mirko Tagliaferri

  • 16:30 - Lyra So: What is classical logic? A truth-theoretic case study

  • 16:50 - Sebastian G.W. Speitel, Selçuk Kaan Tabakçı: Some considerations on the notion of Belnapian uniqueness

  • 17:10 - Gavin St. John: Algebraic semantics for logics based on McCarthy conjunction

  • 17:30 - Iulian D. Toader: Distribution must be dropped: reply to Williamson

  • 17:50 - Nils Kürbis: 120 year of Russell's 'On Denoting'

FH Hörsaal 7. Chair: Andreas Weiermann

  • 16:30 - Gabriele Buriola: Ordinal analysis of well-ordering principles and well quasi-order properties

  • 16:50 - Mateusz Łełyk: ∑n-restricted completions in arithmetic

  • 17:10 - Piotr Gruza: Separations between definiteness properties for sequential theories

  • 17:30 - Vlad Lazar: Linearity in a poly-modal logic for reflections over ACA0

  • 17:50 - Mirko Engler: On categorical self-interpretations of a theory

  • 18:10 - Mojtaba Mojtahedi: Provability models for modal logics

Thursday

FH Hörsaal 1. Chair: Vlad Lazar

  • 14:00 - Philipp Provenzano: A non-wellfounded system for projective determinacy

  • 14:20 - Andreas Weiermann: How to treat Goodstein sequences via well partial orders

  • 14:40 - Gunnar Wilken: Goodstein principles: recent developments

  • 15:00 - Maciej Glowacki: Proof-theoretic analysis of Reinhardt's reflection principle

  • 15:20 - Fabian Rivero: A poset game in submonoids of additively indecomposable ordinals

  • 15:40 - Nathanael Rosnick: Recursive enumerability of the quantified logic of proofs

FH Hörsaal 2. Chair: Ellen Hammatt

  • 14:00 - Márk Poór: On the homeomorphism group of the pseudoarc

  • 14:20 - Asa Hirvonen: Continuous logic meets dependence

  • 14:40 - Matilda Häggblom: Approximate inclusion and anonymity atoms

  • 15:00 - Tapio Saarinen: On second-order spectra

  • 15:20 - Miguel Moreno: The Borel reducibility main gap

FH Hörsaal 3. Chair: Alexander Leitsch

  • 14:00 - Satoru Kuroda: Bounded reverse mathematics of linear algebra

  • 14:20 - Morenikeji Neri: Quantitative aspects of stochastic convergence

  • 14:40 - Laurentiu Leustean: Proof mining in nonlinear analysis

  • 15:00 - Gustavo Cipagauta: Elementary equivalence in stochastics structures

FH Hörsaal 4. Chair: Sophie Nagler

  • 14:00 - Jeremy Beard: On the spectrum of limit models

  • 14:20 - Mikheil Rukhaia: Non-classical approach in non-classical logics

  • 14:40 - Pablo Dopico: Supervaluations, truth, and intuitionistic logic

  • 15:00 - Tin Adlešić: Boolean-valued models in New Foundations with Urelements

    15:20 - Anvar Nurakunov*: Note on idempotent complete theories (TBC)

FH Hörsaal 7. Chair: Takehiko Gappo

  • 14:00 - Diego A. Rojas: Effective vague convergence of locally finite measures on the real line and vague Skorokhod representation

  • 14:20 - Francesco Parente: On the Rudin-Frolik ordering of ultrafilters on complete Boolean algebras

  • 14:40 - Diego A. Mejía: Directed schemes of ideals and cardinal characteristics

  • 15:00 - Istvan Juhasz: Weight, net weight, and elementary submodels

  • 15:20 - Yusuke Hayashi: Stationary list coloring

  • 15:40 - Maxwell Levine: Namba forcing, approachability, and singular cardinals

Friday

FH Hörsaal 1. Chair: Corey Switzer

  • 14:00 - Jan Kruschewski: A derived model theorem in an admissibile context

  • 14:20 - Darien Farnham: Quasi-finite axiomatizability of automorphism groups of symplectic manifolds

  • 14:40 - Kazushige Terui: A diagrammatic account on some bridge theorems in abstract algebraic logic
    15:00 - Ainur Basheyeva*: Non-finitely axiomatizable and non-standard quasivarieties of certain modular lattices (TBC)

FH Hörsaal 2. Chair: Mariami Gamsakhurdia

  • 14:00 - Ziba Assadi: Logic of unless in computer science

  • 14:20 - Cameron Allett: Falsifiers: towards a new proof theory of Hilbert's epsilon-calculus using deep inference [Cancelled]

  • 14:40 - Luis F. Bartolo Alegre: A formal characterisation of logical theories

  • 15:00 - Andrzej Indrzejczak: Proof theoretic study of negative free logics with definite descriptions

  • 15:20 - Aibat Yeshkeyev: The properties of the Kaiser class for a normal Jonsson theory

FH Hörsaal 3. Chair: Miguel Aguilar

  • 14:00 - Joachim Mueller-Theys: The unequality theorem

  • 14:20 - Dariusz Kalociński: More acceptable notation

  • 14:40 - Hsing-Chien Tsai: Undecidability of non-transitive mereology

  • 15:00 - Yaroslav Petrukhin: From second-order quantification to second-order definite descriptions

  • 15:20 - Grigory Olkhovikov: Constructive, connexive, and contraclassical: conditionals over C

FH Hörsaal 4. Chair: Huimin Dong

  • 14:00 - Patrick Chandler: Level theory, internal categoricity, and the iterative conception of set

  • 14:20 - Piotr Blaszczyk: A new interpretation of Newton's Principia

  • 14:40 - Ming Ng: What is a space and why should a logician care?

  • 15:00 - Vedran Čačić: A framework for the typed extension of NF (U) vocabulary

  • 15:20 - Felix Weitkämper: On universal and homogeneous logics

    15:20 - Arnold Grigorian*: Justifying homotopical logic two ways (TBC)

Social program

  • The reception of Logic Colloquium 2025 will take place on Monday, July 7th at 7pm.
    Location: Kuppelsaal of TU Wien. Address: Karlsplatz 13, 1040 Wien.

  • The conference dinner of Logic Colloquium 2025 will take place on Thursday, July 10th at 7pm. Bring your name tag!
    Location: Natural History Museum of Vienna. Address: Burgring 7, 1010 Wien.

  • There is an official Logic Colloquium 2025 puzzle challenge. Look out for QR codes at the conference venue or click here to begin.

    The first person or group of people to complete the puzzle challenge will be listed here if and when this happens. Teamwork is encouraged!