BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2019/newsitem/10584/14
---18-April-2019-Midlands-Graduate-School-in-the-F
oundations-of-Computing-Science-MGS-2019-Birmingha
m-England
DTSTAMP:20190211T135744
SUMMARY:Midlands Graduate School in the Foundation
s of Computing Science (MGS 2019), Birmingham, En
gland
DTSTART;VALUE=DATE:20190414
DTEND;VALUE=DATE:20190418
LOCATION:Birmingham, England
DESCRIPTION:The Midlands Graduate School (MGS) in
the Foundations of Computing Science provides an i
ntensive course of lectures on the mathematical fo
undations of computing. The MGS has been running s
ince 1999, and is aimed at PhD students in their f
irst or second year of study, but the school is op
en to everyone, and has increasingly seen particip
ation from industry. Eight courses will be given.
Participants usually take all the introductory co
urses (Lambda Calculus, Category Theory and Unival
ent Type Theory in Agda) and choose additional opt
ions from the advanced courses (Adventures in Prop
erty Based Testing, Calculating programs, JType Re
finement Systems, Synthesis of Reactive Systems, a
nd Monoidal Categories, Higher Categories) dependi
ng on their interests.
X-ALT-DESC;FMTTYPE=text/html:\n The Midlands G
raduate School (MGS) in the Foundations of Computi
ng Science provides an intensive course of lecture
s on the mathematical foundations of computing. Th
e MGS has been running since 1999, and is aimed at
PhD students in their first or second year of stu
dy, but the school is open to everyone, and has in
creasingly seen participation from industry.

\n
\n Eight courses will be given. Participants u
sually take all the introductory courses (Lambda C
alculus, Category Theory and Univalent Type Theory
in Agda) and choose additional options from the a
dvanced courses (Adventures in Property Based Test
ing, Calculating programs, JType Refinement System
s, Synthesis of Reactive Systems, and Monoidal Cat
egories, Higher Categories) depending on their int
erests.

\n
URL:http://events.cs.bham.ac.uk/mgs2019/
END:VEVENT
END:VCALENDAR