Midlands Graduate School
in the Foundations of Computing Science 2025

University of Sheffield, 7-11 April 2025

                 

With support from                              

The annual Midlands Graduate School in the Foundations of Computing Science (MGS) offers an intensive programme of lectures on the mathematical foundations of computing. It addresses first of all PhD students in their first or second year, but is open to anyone interested in its topics, from academia to industry and around the world. The school has been run since 1999 and is hosted alternately by the Universities of Birmingham, Leicester, Nottingham and Sheffield. MGS 25 is its 25th incarnation. Information about previous events can be found at the MGS web site.

MGS 25 will take place in Sheffield on 7-11 April 2025. It is organised by the Department of Computer Science at the University of Sheffield. It starts on April 7 in the morning and finishes on April 11 in the afternoon.

The MGS main lecture programme consists of individual courses, where usually each course consists of four one hour lectures. There are Basic courses which are taken by everyone. There are also optional Advanced courses. We are always very flexible about which courses you attend, since we undestand that attendees may have a broad range of experiences and diverse knowledge.

This year, like in previous years, we have a great line-up of lecturers. Our invited lecturer is Prof. David Pym from University College London.

Courses

Invited course

Introductory courses

• Category Theory (CAT), Thorsten Altenkirch, University of Nottingham
• The Curry-Howard Correspondence (CHC), Anupam Das, University of Birmingham
• Quantum Computing (QCM), Venanzio Capretta

Advanced courses

• Coalgebra (CLG), Paul Blain Levy, University of Birmingham
• Linear Logic (LIN), Abhishek De, University of Birmingham and Charles Grellois, University of Sheffield
• Modular Proofs in Isabelle/HOL (ISA), Chelsea Edmonds, University of Sheffield
• Refinement Types in Haskell (RTH), Brandon Hewer, University of Nottingham

All lectures, lunch breaks and coffee breaks will take place in the Diamond Building at the University of Sheffield. The building is situated on 32 Leavygreave Rd, Broomhall, Sheffield S3 7RD. Due to it being so close to West street, it is easy to get there by bus (lines 51, 52, 95, 95a and 120) and tram (the nearest tram stop being West Street).

The rooms referenced below and their location in the Diamond Building are as follows:

• LT3 = Lecture Theater 3, basement
• LT4 = Lecture Theater 4, basement
• LT8 = Lecture Theater 8, basement
• GFES = Ground Floor Exhibition Space, basement (near the lecture theaters)
• WR1 = Workroom 1, ground floor
• WR3 = Workroom 3, second floor

Registration is now closed.

Sponsorship