University of Sheffield, 7-11 April 2025
On 7-11th April, the School of Computer Science at the University of Sheffield hosted the 25th edition of the Midlands Graduate School in the Foundations of Computing Science (MGS 25). MGS is a major yearly event in the national and international landscape of PhD summer/spring schools, and a long-standing collaboration between the Universities of Birmingham, Leicester, Nottingham and Sheffield. MGS 25 had 66 student participants and featured eight intensive courses on a variety of foundational topics (category theory, logic, proof theory, verification and quantum computing) from both world-leading and rising-star academics. The organizers gratefully acknowledge support from VeTSS, who was one of the sponsors.
by