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.

Invited speakers:

Steve Awodey (Carnegie Mellon University)
Julie Bergner (University of Virginia)
Denis-Charles Cisinski (University of Regensburg)
Ivan Di Liberti (University of Gothenburg)
Eric Finster (University of Birmingham)
Jonas Frey (Université Sorbonne Paris Nord)
Nick Gurski (Case Western Reserve University)
Simon Henry (University of Ottawa)
André Joyal (Université du Québec à Montréal)
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: