Midlands Graduate School in the Foundations of Computing Science 2023

Paul Levy <[email protected]> Tue, 14 Feb 2023 00:02:21 +0000

Newsgroups	gmane.science.mathematics.fom,gmane.comp.science.types.announce,gmane.science.mathematics.categories,gmane.science.mathematics.prooftheory
Message-ID	<CWXP265MB405869DDDC9B0D0130E21AA1F4DD9@CWXP265MB4058.GBRP265.PROD.OUTLOOK.COM>

Dear all,

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

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

The Midlands Graduate School (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.

Best regards,
Paul Blain Levy and colleagues