[Haskell-cafe] Midlands Graduate School, 13-17 April 2026, Nottingham, UK

Dear all, Registration is now open for the Midlands Graduate School (MGS) in Nottingham! Eight fantastic courses on type theory, category theory, lambda calculus, and more. 13-17 April 2026, Nottingham, UK. Registration closes Sunday 22nd March. Best wishes, Graham ========================================================== MIDLANDS GRADUATE SCHOOL 2026 13-17 April 2026, Nottingham, UK https://tinyurl.com/MGS-2026 ========================================================== 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 Student 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, and the conference dinner. The 'with accommodation' options include five nights at Rutland Hall with shared bathroom facilities. Registration closes Sunday 22nd March. Spaces are limited, so please register early 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 Dan Marsden ========================================================== -- Professor Graham Hutton School of Computer Science University of Nottingham, UK http://people.cs.nott.ac.uk/pszgmh 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.