Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] Midlands Graduate School 2023
@ 2023-02-13 11:41 Martin Escardo
  0 siblings, 0 replies; only message in thread
From: Martin Escardo @ 2023-02-13 11:41 UTC (permalink / raw)
  To: Homotopy Type Theory

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

We are happy to announce that registration for the Midlands Graduate 
School, to take place in 2-6 April at the University of Birmingham, UK, 
is open:

https://www.cs.bham.ac.uk/~mhe/events/MGS23/ 
<https://www.cs.bham.ac.uk/~mhe/events/MGS23/>

MGS provides an intensive course of lectures on the Mathematical 
Foundations of Computing. It has run annually since 1999, and is hosted 
by the Universities of Birmingham, Leicester, Nottingham, and Sheffield 
in rotation.

The lectures are aimed at PhD students, typically in their first or 
second year of study. However, the school is open to anyone who is 
interested in learning more about the mathematical foundations of 
computing, and in recent years has seen increased participation from 
industry. We also very much welcome students from abroad.

Looking forward to seeing many of you there.

-- 
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/cc47b694-6ac5-4c36-2d93-8ba4cdffcff4%40gmail.com.

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

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

only message in thread, other threads:[~2023-02-13 11:41 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-02-13 11:41 [HoTT] Midlands Graduate School 2023 Martin Escardo

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