* Workshop Categorical Logic and Higher Categories: registration
@ 2024-09-30 13:05 Giacomo Tendas
0 siblings, 0 replies; only message in thread
From: Giacomo Tendas @ 2024-09-30 13:05 UTC (permalink / raw)
To: categories, algtop-l, HomotopyTypeTheory
[-- Attachment #1: Type: text/plain, Size: 3595 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/<https://url.au.m.mimecastprotect.com/s/rXs8C0YKgRsGk12mlUwfYC9aNfx?domain=gtendas.github.io/>
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<https://url.au.m.mimecastprotect.com/s/XVGxCgZ05JfAqMlGnfohEC4aF4q?domain=estore.manchester.ac.uk>
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<https://url.au.m.mimecastprotect.com/s/HTTDCjZ12RfnYWjRkc5i4Cm5MGS?domain=forms.office.com>
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/<https://url.au.m.mimecastprotect.com/s/rXs8C0YKgRsGk12mlUwfYC9aNfx?domain=gtendas.github.io/>
The workshop is generously supported by the Dame Kathleen Ollerenshaw Trust.
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: 19746 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2024-09-30 13:11 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-09-30 13:05 Workshop Categorical Logic and Higher Categories: registration Giacomo Tendas
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).