Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 14 - 18 April 2019
Location: Birmingham, England
Deadline: Thursday 31 January 2019

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.

For more information, see http://events.cs.bham.ac.uk/mgs2019/.

Please note that this newsitem has been archived, and may contain outdated information or links.