You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Nicola Gambino (Oct 10 2024 at 10:43):*** Workshop Categorical Logic and Higher Categories
*** University of Manchester (UK)
*** Monday 16th December to Thursday 19th December 2024
*** Web: https://gtendas.github.io/clhc/
Registration for the workshop "Categorical Logic and Higher Categories”, to be held at the University of Manchester (UK) from Monday 16th December to Thursday 19th December 2024, is now open. You can register via the link:
The deadline for registration is Saturday 30th November. The registration fee (£50) covers lunches and coffee breaks. Because of the capacity of the lecture room, the number of participants is limited to 80.
There is a very limited number of slots available for those that wish to give a speed-talk (10 min). If you wish to give one, please complete the form at the link:
https://forms.office.com/e/seRwB6whXt.
The deadline for submission of contributed speed talks is Thursday 31st October. Decisions will be communicated shortly after that date, thus in time to register. Priority for speed talk slots will be given to early career researchers and those that need to present in order to receive funding.
The 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 areas 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) - TBC
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)
See https://gtendas.github.io/clhc/ for more details.
The workshop is generously supported by the Dame Kathleen Ollerenshaw Trust.
With best regards,
Nicola Gambino and Giacomo Tendas