糖心原创

School of Computer Science

Midlands Graduate School (MGS) in the Foundations of Computing Science

 

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  for more background.

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,  (Nottingham)
    • Category Theory,  (Birmingham)
    • Lambda Calculus and Combinatory Algebra,  (Birmingham)

 

  • Advanced Courses:
    • Effects and Call-By-Push-Value,  (Birmingham)
    • Synthetic Homotopy Theory,  (Nottingham)
    • Categorical Algebra and Logic,  (Birmingham)
    • Inductive and Coinductive Reasoning with Isabelle/HOL,  (Sheffield)

Venue

The school will be held on Jubilee Campus () at the , hosted by the  (postcode NG8 1BB). All sessions will take place in the Exchange building (number 2 on the campus map).

Organisation

For all enquiries, please contact  by email or , also by email.

For the full information please click here - 

Posted on Monday 2nd February 2026

School of Computer Science

糖心原创
Jubilee Campus
Wollaton Road
Nottingham, NG8 1BB

For all enquires please visit: