Tasks
- Send email to ask about accommodation
- Await response
- Pay for conference
- Pay for accommodation
Overview
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
(When available, course information and mateials will be accessible by clicking on each course name.)
Invited course
Four Lectures on Proof-theoretic Semantics (PTS), David Pym, University College London.
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, University of Nottingham
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
Venue
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).
Course Schedule
MGS 25 starts at 9:00 BST on Monday 7 April and ends on Friday 11 April in the afternoon. Lecturers, participants and organisers will come together for a week of intense learning and teaching with close personal interactions.
| Start | End | Topic | Location | Kind | Days |
|---|---|---|---|---|---|
| 8:50 | 9:00 | GFES | Break | All | |
| 9:00 | 9:55 | CHC | LT3 | Lecture | Mon |
| 9:00 | 9:55 | CHC | LT3 | Lecture | Tue-Fri |
| 9:00 | 9:55 | CLG | WR1 | Exercise | Tue-Fri |
| 10:00 | 10:55 | CAT | LT4 | Lecture | Mon |
| 10:00 | 10:55 | CAT | LT4 | Lecture | Tue-Fri |
| 10:00 | 10:55 | LIN | WR1 | Exercise | Tue-Fri |
| 10:00 | 10:55 | RTH | WR3 | Exercise | Tue-Fri |
| 11:00 | 11:30 | GFES | Beak | All | |
| 11:30 | 12:25 | QCM | LT3 | Lecture | Mon |
| 11:30 | 12:25 | QCM | LT3 | Lecture | Tue-Fri |
| 11:30 | 12:25 | ISA | WR3 | Exercise | Tue-Fri |
| 12:30 | 13:50 | Lunch | All | ||
| 13:50 | 14:00 | GFES | Break | All | |
| 14:00 | 14:55 | PTS | LT3 | Lecture | Mon-Thu |
| 15:00 | 15:55 | LIN | LT3 | Lecture | Mon-Thu |
| 15:00 | 15:55 | ISA | LT4 | Lecture | Mon-Thu |
| 15:00 | 15:55 | CAT | WR3 | Exercise | Mon-Thu |
| 16:00 | 16:30 | GFES | Break | Mon-Thu | |
| 16:30 | 17:25 | CLG | LT3 | Lecture | Mon-Thu |
| 16:30 | 17:25 | RTH | LT4 | Lecture | Mon-Thu |
| 16:30 | 17:25 | CHC | WR3 | Exercise | Mon-Thu |
| 16:30 | 17:25 | QCM | WR1 | Exercise | Mon-Thu |
| 17:30 | 18:00 | GFES | Discussions | Mon,Tue,Thu | |
| 17:30 | 18:00 | J Wood | LT3 | Talk | Wed |