[TYPES/announce] Workshop on higher structures, 19 Nov, Nottingham

[Nicolai Kraus]

Dear all,

The first meeting of the network "Higher Structures in Category
Theory, Homotopy Theory and Type Theory" will take place on
19 November 2025 in Nottingham:

https://urldefense.com/v3/__https://sites.google.com/view/higherstructures/meetings__;!!IBzWLUs!RtYI5xs7qYd9IPQbnupypCDye0h8YJzSvQ62W4T08VhiAz6lvondA-X1WZSMmUukJ5EdszCjmqwrXv3u5kpGqwXTaVjQMqwJ2vi3_g$ 

Everyone is welcome to attend this one-day (in-person only,
sorry) workshop. For planning purposes, please complete
the (free) registration form available at the link above. There
is an option to submit a title and abstract for a contributed talk.

Deadline for registration and submitting contributed talk
proposals: 5 November 2025

Invited speakers:
  Leonard Guetta, Utrecht University
  Nima Rasekh, University of Greifswald

Titles and abstracts, together with more information about
the workshop, can be found at the link above.

Best wishes,
Nicolai, for the network organisers:
  Eric Finster (University of Birmingham)
  Nicola Gambino (University of Manchester)
  Nicolai Kraus (University of Nottingham)
  Simona Paoli (University of Aberdeen)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251023/5cc4b3f7/attachment.htm>