Categorical Logic and Higher Categories

The workshop "Categorical Logic and Higher Categories" will be held at the University of Manchester from the 16th to the 19th of December 2024. This workshop will bring together researchers in Higher Category Theory, Homotopical Algebra, Categorical Logic, Topos Theory, Homotopy Type Theory, Univalent Foundations, and Model Theory, so as to promote cross-fertilisation between these subjects and inspire future developments.

Confirmed invited speakers:

Denis-Charles Cisinski (University of Regensburg)
Ivan Di Liberti (University of Gothenburg)
Eric Finster (University of Birmingham)
Jonas Frey (Carnegie Mellon University)
Nick Gurski (Case Western Reserve University)
Mark Kamsma (Masaryk University)
Mike Lieberman (Brno University of Technology)
Ieke Moerdijk (University of Utrecht)
Lyne Moser (University of Regensburg)
Martina Rovelli (University of Massachusetts Amherst)
Christina Vasilakopoulou (National Technical University of Athens)
Paula Verdugo (Max Planck Institute for Mathematics)
Joshua Wrigley (Queen Mary University of London)

Organizers:

Sponsors:

The workshop is supported by the following organizations: