Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] YaMCATS 38: 23rd June 2025, The University of Manchester (UK)
@ 2025-06-12 13:21 Nicola Gambino
  0 siblings, 0 replies; only message in thread
From: Nicola Gambino @ 2025-06-12 13:21 UTC (permalink / raw)
  To: categories, homotopytypetheory

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

Dear all,

The 38th meeting of the Yorkshire and Midlands Category Theory seminar (YaMCATS) will take place on Monday 23rd June at The University of Manchester. The meeting will include one of Emily Riehl’s LMS Hardy Lectures. The other speakers will be Daniel Gratzer (Aarhus University) and David Jaz Myers (Topos Institute, UK).

If you wish to attend, please register at

https://forms.office.com/e/LjqEr8wnt6

Additional information on YaMCATS, including programme of the meeting, may be found at

https://conferences.leeds.ac.uk/yamcats/

YaMCATS is generously supported by the London Mathematical Society.

With best regards,
Nicola, also on behalf of Joao Faria Martins (Leeds) and Markus Szymik (Sheffield)

-- 
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 visit https://groups.google.com/d/msgid/HomotopyTypeTheory/EBE80DCD-50F9-4C49-A10C-E9F2E11F7498%40manchester.ac.uk.

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

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2025-06-12 13:21 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2025-06-12 13:21 [HoTT] YaMCATS 38: 23rd June 2025, The University of Manchester (UK) Nicola Gambino

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).