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