14 - 18 April 2019, Midlands Graduate School in the Foundations of Computing Science (MGS 2019), Birmingham, England

The Midlands Graduate School (MGS) in the Foundations of Computing Science provides an intensive course of lectures on the mathematical foundations of computing. The MGS has been running since 1999, and is aimed at PhD students in their first or second year of study, but the school is open to everyone, and has increasingly seen participation from industry.

Eight courses will be given. Participants usually take all the introductory courses (Lambda Calculus, Category Theory and Univalent Type Theory in Agda) and choose additional options from the advanced courses (Adventures in Property Based Testing, Calculating programs, JType Refinement Systems, Synthesis of Reactive Systems, and Monoidal Categories, Higher Categories) depending on their interests.