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