Dear all, I'm delighted to announce that the next Midlands Graduate School (MGS) in the Foundations of Computing Science will be held in Nottingham, UK, from 13-17 April 2026.
Please share in your communities! Best wishes, Graham Hutton ========================================================== 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: - To be announced Introductory courses: - Category Theory for the Lazy Functional Programmer Thorsten Altenkirch (Nottingham) - Introduction to HoTT/UF with Agda Martin Escardó (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) 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. _______________________________________________ Haskell mailing list -- [email protected] To unsubscribe send an email to [email protected]
