 Gold Sponsor
|
MGS 2024 is organised by Roy Crole and Reiko Heckel and Adam Machowczyk, University of Leicester.
If you have registered for MGS please see: MGS 2024 Welcome Email (26 March) and (4 April) and (7 April) sent from mgs2024@le.ac.uk
Participants should use the link sent out in these emails to access detailed information for MGS 2024. Thank you!
We have set up an MGS 2024 Discord server. We use Discord as a text-based chat app that is organised by topic into channels. Please join to:
Registration is now closed.
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, Ken Edwards Building main Campus, University of Leicester, U.K. See map and transport information
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 13:30pm.
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.
| Basic Courses | |
|---|---|
| Category Theory | 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) |
| Advanced Courses | |
| Session Types | Sonia Marin (Birmingham) & Matteo Acclavio (Sussex) |
| Synthetic Homotopy Theory with HoTT/UF | Ulrik Buchholtz (Nottingham) | Foundations and Applications of Graph Rewriting | Reiko Heckel (Leicester) |
| Categorical Realisability | Tom de Jong (Nottingham) |
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 around 5pm.
There will be a social gathering on the evening of Sunday 7th, at the Cradock Arms very near to College Court, and 15 mins from the University campus (MGS/Ken Edwards). We will have a short trip and a dinner on the evening of Weds 10th April at the Leicester Bistro Pierre. We will also have a social evening on campus, after Monday'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: this will take place on Thursday.
Registration is now closed. 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.
College Court is a University Conference Centre (about a mile from MGS which takes place on the main University campus) and they may 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 conferences@leicester.ac.uk. 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.
If your company would like to sponsor MGS2024, then we would be delighted to discuss this with you. Please contact us at mgs2024@le.ac.uk
| Level | Benefits | Contribution |
|---|---|---|
| Bronze |
|
£500 |
| Silver |
|
£1000 |
| Gold |
|
£2000 |
| Platinum |
|
£4000 |
For any additional information or queries about MGS 2024, you may contact the organisers at mgs2024@le.ac.uk 😊
MGS is accessible by car, train and bus. We suggest that you use Google Maps, to assist in planning your journey. 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!