Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: community: events

Topic: MGS 2026 (Midlands Graduate School)

Ulrik Buchholtz (Feb 25 2026 at 14:28):

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://ulrikbuchholtz.dk/mgs2026/

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@nottingham.ac.uk>
Dan Marsden <dan.marsden@nottingham.ac.uk>