[HoTT] Workshop Categorical Logic and Higher Categories: registration

[Giacomo Tendas <giacomo.tendas93@gmail.com>]

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

*** Workshop Categorical Logic and Higher Categories

*** University of Manchester (UK), Monday 16th December to Thursday 19th
December 2024

*** Web: https://gtendas.github.io/clhc/



Dear colleagues and friends,



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:



https://estore.manchester.ac.uk/conferences-and-events/faculty-of-science-engineering/department-of-mathematics/departments-of-mathematics/categorical-logic-and-higher-categories



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)



For more details, see https://gtendas.github.io/clhc/



The workshop is generously supported by the Dame Kathleen Ollerenshaw Trust.



With best regards,

Giacomo Tendas (also on behalf of Nicola Gambino)

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAPU2sowsRL1rEqeB7Q2M83tihwTED2GsSz9q%3Dq%3DOhA7cTYQStQ%40mail.gmail.com.

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