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  <p>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.</p>\n
 \n  <p>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.</p>\n
URL:http://events.cs.bham.ac.uk/mgs2019/
END:VEVENT
END:VCALENDAR