Midlands Graduate School 2026
Midlands Graduate School in the Foundations of Computing Science 13–17 April 2026 School of Computer Science University of Nottingham
About
The Midlands Graduate School (MGS) in the Foundations of Computing Science is an annual Spring School organized by researchers at the Universities of Birmingham, Leicester, Nottingham, and Sheffield. See the Main MGS Website for more background.
Overview
MGS 2026 will take place over five days in Nottingham 13–17 April 2026. A total of eight courses will be run, each consisting of 4–5 hours of lectures and a similar number of exercise classes. Three courses are introductory, four will cover more advanced topics, and one course will be given by an invited speaker. Participants are suggested to attend around four courses in total.
We expect around 60–80 participants. Information regarding registration and accommodation will be announced later.
Courses
The following courses will be held:
- Invited course:
- To be announced
- Introductory Courses:
- Type Theory using Agda, Thorsten Altenkirch (Nottingham)
- Category Theory, Sergey Goncharov (Birmingham)
- Lambda Calculus and Combinatory Algebra, Sam Speight (Birmingham)
- Advanced Courses:
- Effects and Call-By-Push-Value, Paul Blain Levy (Birmingham)
- Synthetic Homotopy Theory, Axel Ljungström (Nottingham)
- Categorical Algebra and Logic, Sean Moss (Birmingham)
- Inductive and Coinductive Reasoning with Isabelle/HOL, Andrei Popescu (Sheffield)
Venue
The school will be held on Jubilee Campus (Google Maps) at the University of Nottingham, hosted by the School of Computer Science (postcode NG8 1BB). All sessions will take place in the Exchange building (number 2 on the campus map).
Travel
Nottingham is centrally located in the East Midlands in the UK, and is easily reachable by all forms of transport. The university's directions for getting to Jubilee Campus can be found here.
International travel
If you want to come by plane, closest to Nottingham is East Midlands Airport, but it is so small that you need to be lucky to find a flight arriving there. More realistic airports within reasonable distance and with good train connections to Nottingham are:
Other London airports such as Heathrow Airport LHR, and Gatwick Airport LGW are also options, with train connections via London or direct bus connection (see national travel below).
If you want to avoid a flight, the Eurostar is fantastic with connections from Amsterdam, Rotterdam, Brussels, Lille, and Paris.
National travel
National Rail is one of the sites that let you find train connections. If you want to try to save costs, there are websites that let you split the journey into smaller parts (search for “UK train split ticket”), using that the triangle inequality does not hold for UK train fares. However, be aware that your tickets will be less flexible.
National Express offers cheap and often very convenient bus journeys and is an interesting option when the train connection is not direct. Similar services are offered by Megabus and FlixBux.
Local travel
Jubilee Campus (Google Maps) has the address Wollaton Road, NG8 1BB. The campus is quite a bit away from Nottingham Railway Station. Taxis are waiting at Station St. and Carrington St.. Another possibility is to walk to Victoria Centre (Stop J6) and take bus 28 or 30 to the stop Jubilee Campus.
There is also the NET Tram from the Railway Station to the Queens Medical Centre, about 15 minutes walking distance from Jubilee Campus.
Parking
Please contact the organisers (see below) if you would like to park on Jubilee Campus.
Visa
Please check whether you need a visa to enter the UK on the government website. If you are an EU citizen, you will normally not require a visa. If you require an official invitation letter in order to apply for a visa, please contact the organisers (see below).
Organisation
For all enquiries, please contact Ulrik Buchholtz by email or Dan Marsden, also by email.