Conference · Midlands Graduate School in the Foundations of Computing Science
MGS 2027
Official page- Type
- Conference
- Organisation
- Midlands Graduate School in the Foundations of Computing Science
- Location
- Birmingham, United Kingdom
- Takes place
- 5 April 2027 to 9 April 2027
- Found
- 26 September 2026
About this listing
Midlands Graduate School in the Foundations of Computing Science. Held in Birmingham, United Kingdom. Five days of technical courses on introductory, advanced, and emerging topics in the mathematical foundations of computing, including category theory, logic, proof theory, type theory, and verification. Application deadline not yet announced. For: PhD students, students. Topics: logic, semantics, type systems, verification. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).