25 Years of the Midlands Graduate School 2024

8 - 12 April, 2024, Leicester, UK.

Gold Sponsor

News

MGS 2024 was organised by Roy Crole and Reiko Heckel and Adam Machowczyk, University of Leicester.


Overview

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 was held at the School of Computing and Mathematics, Ken Edwards Building main Campus, University of Leicester, U.K, and received extremally positive reviews from attendees. A skectch of the original website appears below.

Lecture Programme

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)


Timetable

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.

The Timetable

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

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.


Accomodation

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.

In addition we list some hotels below.

  1. Hotel Brooklyn
  2. The Belmont Hotel
  3. Premier Inn
  4. Holiday Inn
  5. The Gresham Aparthotel
  6. Ibis Leicester City
  7. Travelodge
  8. The Grand Hotel
  9. Airbnb: There are plenty of options available in Leicester.

Sponsorship

If your company would like to sponsor MGS2024, then we would be delighted to discuss this with you.

Level Benefits Contribution
Bronze
  • Your name/logo on the MGS 2024 website
£500
Silver
  • All of the benefits of Bronze sponsorship
  • One complimentary industrial registration
  • An opportunity to provide publicity materials to participants
£1000
Gold
  • All of the benefits of Silver sponsorship
  • One additional complimentary industrial registration (2 in total)
  • An opportunity to address the participants
  • A table/booth-like space in the coffee break area
£2000
Platinum
  • All of the benefits of Gold sponsorship
  • Three additional complimentary industrial registrations (5 in total)
  • An opportunity to display a poster and provide merchandise to participants
£4000

Travel

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!