MGS 2024 is organised by Roy Crole and Adam Machowczyk, University of Leicester.
The Midlands Graduate School (MGS) provides an intensive programme of lectures on the Mathematical Foundations of Computing Science. It has run annually since 1999 and has been held at either the University of Birmingham, the University of Leicester, the University of Nottingham, or at the University of Sheffield. The lectures are aimed at postgraduate/PhD students, typically in their first or second year of study for a PhD. However, the school is open to anyone who is interested in learning more about mathematical computing foundations, and all such applicants are warmly welcomed. We very much encourage students from abroad to attend, participants from industry, and many have done so in the past.
Celebrating 25 Years, MGS 2024 will be held at the School of Computing and Mathematics, University of Leicester, U.K.
We are delighted to announce a guest lecture on the formalisation of mathematics will be given by Kevin Buzzard, Imperial College. This takes place on Wednesday 10th April at 2pm.
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.
|Thorsten Altenkirch (Nottingham)
|Introduction to Proof Theory
|Abhishek De (Birmingham) and Iris van der Giessen (Birmingham)
|Introduction to Type Theory with Agda
|Todd Ambridge (Birmingham)
|Sonia Marin (Birmingham)
|Synthetic Homotopy Theory with HoTT/UF
|Ulrik Buchholtz (Nottingham)
|Foundations and Applications of Graph Rewriting
|Reiko Heckel (Leicester)
|Tom de Jong (Nottingham)
Registration for this year's MGS is now open, and will close on Friday 8 March. Please book early to avoid disappointment!Please register and pay here.
The registration fee is £295 for those currently in education (for example you are a PhD student). For all other participants, such as industry representatives, the fee is £550. The registration fee covers: all lecture courses and example classes, tea and coffee breaks and sandwhich lunches, the MGS Dinner on Wednesday 10th April, and one social evening on campus with a pizza supper and drinks. You will need to book and pay separately for your accommodation and we have provided a list of hotels below.
The schedule for teaching includes four lectures for each course, and usually three or four supporting exercise classes. The lectures will take place in the Ken Edwards building on campus, starting at 9 am and finishing at either 5 or 6 pm. The exact timetable is pending, but usually the lectures and classes are uniformly distributed throughout the week.
There will be a social gathering on the evening of Sunday 7th, most likely at a Pub near to the University campus. We plan to hold a dinner on the evening of Weds 10th April, at the Leicester Bistro Pierre, and the cost is included in the registration. We hope to offer a social evening on campus, after one of the day's lectures, and provide pizza and drinks. In recent years there has been a tradition of offering participants the chance to deliver a short research presentation.
If your company would like to sponsor MGS2024, then we would be delighted to discuss this with you. Please contact us at firstname.lastname@example.org
College Court is a University Conference Centre, about a mile from the campus where we are running MGS, and they have rooms available for MGS participants on a limited basis. Rooms can be booked for arrival on April 7 and departure on April 12, or a subset of those dates. If you would like to stay at College Court please download and complete the booking form and return it to email@example.com. College Court will make your booking and send out arrival information. The booking reference number is 79999 and is already included in the form.
In addition we list some hotels below.
For any additional information or queries about MGS 2024, you may contact the organisers at firstname.lastname@example.org 😊
MGS is accessible by car, train and bus. We suggest that you use Google Maps, to assist in planning your journey. More information will follow. For general information about travel to Leicester, please consult the University map and transport information.
All Rights Reserved © MGS
Website updated with the courtesy of LanternCode!