[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 <[email protected]>
Dan Marsden <[email protected]>
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.
