Logic Colloquium 2024

Program


The colloquium will run for five days and comprise 3 tutorials, 7 plenary lectures and 6 special sessions as well as contributed talks. In addition, the 2024 Gödel Lecture will be delivered at the meeting.

Mon Tue Wed Thu Fri
0815 – 0845
0900 – 1000 Plenary Plenary Plenary Plenary Plenary
1000 – 1100 Tutorial Tutorial Tutorial Tutorial Tutorial
1100 – 1130 Coffee
1130 – 1230 Tutorial Plenary Tutorial Tutorial Tutorial
1230 – 1400 Lunch
1400 – 1600 Special Session Special Session Contributed Talks Special Session Contributed Talks
1600 – 1630 Coffee Coffee
1630 – 1700 Contributed Talks Plenary Contributed Talks
1700 – 1730 Gödel Lecture
1730 – 1800 Contributed Talks
1800 – 1830

Tutorials

  • Anuj Dawar, University of Cambridge: Model theory of tame classes of finite structures
  • Alberto Marcone, Università Di Udine: WQOs and BQOs in logic
  • Andrei Sipoș, University of Bucharest: An exploration of proof mining

Plenary Speakers

  • Daisuke Bekki, Ochanomizu University: From Dependent Types to Natural Language Semantics
  • Johanna Franklin, Hofstra University: Structural highness notions
  • James Freitag, University of Illinois at Chicago: When any three solutions are independent
  • Marianna Girlando, University of Amsterdam: Proof systems and decision algorithms for intuitionistic K
  • Stephen Jackson, University of North Texas: Recent advances in the combinatorics of determinacy models
  • Leszek Kołodziejczyk, University of Warsaw: Models of arithmetic that satisfy more collection than induction
  • Paul-André Melliès, Université Paris Denis Diderot: Recent advances in higher-order automata and profinite lambda-calculus

Gödel Lecture

The 2024 Gödel lecture will be delivered by

  • Thomas Scanlon, University of California at Berkeley: (Un)decidability in fields

Special Sessions

Applied Model Theory, chairs: Gareth Jones and Tamara Servi

  • Vincent Bagayoko, Université Paris Cité: Ordered groups of regular growth rates
  • Anna Dmitrieva, University of East Anglia: Generic functions and quasiminimality
  • Adele Padgett, McMaster University: O-minimal definitions of the complex Γ and Riemann ζ functions

Computable Structures, chairs: Uri Andrews and Julia Knight

  • Meng-Che (Turbo) Ho, California State University: Decision problems for groups as equivalence relations
  • Matthew Harrison-Trainor, University of Illinois: Interpretations, back-and-forth games, and group von Neumann algebras
  • David Gonzalez, University of California, Berkeley: Generically computable linear orderings

Logic, Language and Computation, chairs: Robin Cooper and Stergios Chatzikyriakidis

  • Kristina Liefke, Ruhr-University, Bochum: Reduction and unification in (typed) natural language ontology
  • Zhaohui Luo, Royal Holloway, University of London: Common nouns as types: Higher inductive types in type-theoretical semantics
  • Peter Sutton, Universitat Pompeu Fabra, Barcelona: The challenge of polysemy for natural language semantics

Logic in Philosophy, chairs: Volker Halbach and Heinrich Wansing

  • Agata Ciabattoni, Technische Universität Wien: Normative Reasoning: from Sanskrit philosophy to AI
  • Andrzej Indrzejczak, University of Łódź: Do theories of definite descriptions support Anselm’s God?
  • Johannes Stern, University of Bristol: Truth, Conditionals, and Hyperintensionality

Proof Theory, chairs: Anton Freund and Sonia Marin

  • Valentin Blot, ENS Paris-Saclay: Variants of bar recursion and their uses
  • Lukas Melgaard, University of Birmingham: Cyclic versions of arithmetic theories with inductive definitions
  • Takako Nemoto, Tohuku University, Computability theory over intuitionistic logic

Set Theory, chairs: Dana Bartošová and Slawomir Solecki

  • Tamás Kátay, Eötvös Loránd University, Budapest: Generic properties of groups
  • Claudio Agostini, Technische Universität Wien: The key properties of metrizability for (generalized) descriptive set theory
  • Chris Lambie-Hanson, Czech Academy of Sciences: Guessing Models, Cardinal Arithmetic, and Ultrafilters

Talk Overview

An overview of all talks to be delivered at the Logic Colloquium, including contributed talks, can be found here.