[TYPES/announce] MGS 2026 registration now open

[Dan Marsden (staff)]

We're happy to announce that registration for the Midlands
Graduate School 2026, to take place 13–17 April at the
University of Nottingham, UK, is now open:

https://urldefense.com/v3/__https://ulrikbuchholtz.dk/mgs2026/__;!!IBzWLUs!TNgGvty1rdshP-__y-CYoGlEb3gSwDq80EV47TXsUp6iAoMJKtXTWpMBDsd2XvrXMGGrV8Ot3ooMAugSh8OsXRurIyt30GEynwL1CLCyxHU$ 

BACKGROUND

The Midlands Graduate School (MGS) in the Foundations of
Computing Science provides a yearly programme of courses
on the mathematical foundations of computing, and recently
celebrated its 25th year. The MGS is primarily aimed at
PhD students in their first or second year, but is open
to everyone, and has increasingly seen participation from
industry. We welcome participants from all over the world!

COURSES

Eight courses will be given.  Participants usually take
around four courses, depending on their interests.

Invited course:

Implement your POPL paper (using Haskell)
  Stephanie Weirich (Pennsylvania)
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)

REGISTRATION

Academic participants: £350 (or £600 with accommodation)
Industry participants: £800 (or £1050 with accommodation)

The registration fee includes all lecture courses and example
classes, lunch and coffee breaks. The ‘with accommodation’
options include five nights bed and breakfast in Rutland Hall
on University Park, starting on 12 April 2026.

Registration is now open. Spaces for all categories
are limited, so please register soon to secure your place.

SPONSORSHIP

We offer a range of sponsorship opportunities for industry
(bronze, silver, gold and platinum), each with specific
benefits. Please see the website for further details.

LOCAL ORGANISERS

For any queries, please contact the local organisers:

Ulrik Buchholtz <ulrik.buchholtz at nottingham.ac.uk>
Dan Marsden <dan.marsden at nottingham.ac.uk>
This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.