<div dir="ltr">Dear all,<br><br>The first meeting of the network "Higher Structures in Category<br>Theory, Homotopy Theory and Type Theory" will take place on<br>19 November 2025 in Nottingham:<br><br><a href="https://urldefense.com/v3/__https://sites.google.com/view/higherstructures/meetings__;!!IBzWLUs!RtYI5xs7qYd9IPQbnupypCDye0h8YJzSvQ62W4T08VhiAz6lvondA-X1WZSMmUukJ5EdszCjmqwrXv3u5kpGqwXTaVjQMqwJ2vi3_g$">https://sites.google.com/view/higherstructures/meetings</a><br><br>Everyone is welcome to attend this one-day (in-person only,<br>sorry) workshop. For planning purposes, please complete<br>the (free) registration form available at the link above. There <br>is an option to submit a title and abstract for a contributed talk.<br><br>Deadline for registration and submitting contributed talk<br>proposals: 5 November 2025<br><br>Invited speakers:<br>  Leonard Guetta, Utrecht University<br>  Nima Rasekh, University of Greifswald<br><br>Titles and abstracts, together with more information about<br>the workshop, can be found at the link above.<br><br>Best wishes,<br>Nicolai, for the network organisers:<br>  Eric Finster (University of Birmingham)<br>  Nicola Gambino (University of Manchester)<br>  Nicolai Kraus (University of Nottingham)<br>  Simona Paoli (University of Aberdeen)<div><br></div></div>