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/10907/5-
 --9-August-2019-Scottish-Programming-Languages-Ver
 ification-Summer-School-Glasgow-Scotland
DTSTAMP:20190523T182208
SUMMARY:Scottish Programming Languages & Verificat
 ion Summer School, Glasgow, Scotland
DTSTART;VALUE=DATE:20190805
DTEND;VALUE=DATE:20190809
LOCATION:Glasgow, Scotland
DESCRIPTION:The aim of the school is to provide Ph
 D students with core and specialised knowledge in 
 the broad area of Programming Language and Verific
 ation research.  The school is aimed at PhD studen
 ts in programming languages, verification and rela
 ted areas. Also researchers and practitioners will
  be very welcome, as will strong master's students
  with the support of a supervisor. Participants wi
 ll need to have a background in computer science, 
 mathematics or a related discipline, and have basi
 c familiarity with (functional) programming and lo
 gic.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The aim of the
  school is to provide PhD students with core and s
 pecialised knowledge in the broad area of Programm
 ing Language and Verification research.</p>\n\n  <
 p>The school is aimed at PhD students in programmi
 ng languages, verification and related areas. Also
  researchers and practitioners will be very welcom
 e, as will strong master's students with the suppo
 rt of a supervisor. Participants will need to have
  a background in computer science, mathematics or 
 a related discipline, and have basic familiarity w
 ith (functional) programming and logic.</p>\n
URL:http://www.macs.hw.ac.uk/splv/splv19/
CONTACT:Bob Atkey at robert.atkey at strath.ac.uk
CONTACT:Clemens Kupke at clemens.kupke at strath.a
 c.uk
CONTACT:Fredrik Nordvall Forsberg at fredrik.nordv
 all-forsberg at strath.ac.uk
END:VEVENT
END:VCALENDAR