First announcement: Workshop Categorical Logic and Higher Categories

First announcement: Workshop Categorical Logic and Higher Categories

[Giacomo Tendas]

[-- Attachment #1: Type: text/plain, Size: 2157 bytes --]

*** Workshop Categorical Logic and Higher Categories
*** University of Manchester (UK)
*** Monday 16th December to Thursday 19th December 2024

Dear colleagues and friends,

This is a first announcement of 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. The workshop is generously supported by the Dame Kathleen Ollerenshaw Trust.

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 subjects and inspire future developments.

Confirmed invited speakers:

Denis-Charles Cisinski (University of Regensburg)
Ivan Di Liberti (University of Gothenburg)
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)
Martina Rovelli (University of Massachusetts Amherst)
Paula Verdugo (Johns Hopkins University)
Joshua Wrigley (Queen Mary University of London)

The workshop website is:

https://gtendas.github.io/clhc/<https://url.au.m.mimecastprotect.com/s/sncPCJyBZ6tqm4n8ZSVf7tL1E0e?domain=gtendas.github.io/>

We will write again with further details and information on registration in the autumn.

With best regards,
Giacomo Tendas (also on behalf of Nicola Gambino)


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 4129 bytes --]