BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//SICSA - ECPv6.16.4//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:SICSA
X-ORIGINAL-URL:https://sicsa.ac.uk
X-WR-CALDESC:Events for SICSA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20260803
DTEND;VALUE=DATE:20260808
DTSTAMP:20260619T164518
CREATED:20260112T122218Z
LAST-MODIFIED:20260112T124018Z
UID:10000086-1785715200-1786147199@sicsa.ac.uk
SUMMARY:SPLV’26: Scottish Programming Languages and Verification Summer School 2026
DESCRIPTION:The 2026 edition of SPLV will be held at the University of Glasgow\, with the main courses running from within the Gilbert Scott Building. \nThe school is aimed at PhD students in programming languages\, verification and related areas. Researchers and practitioners are welcome\, as are strong undergraduate and masters students with the support of a supervisor. Participants should have a background in computer science\, mathematics or a related discipline. Prospective students may contact the organisers if they have any concerns about background knowledge. \nRegistration will open March 2026.  View full programme at SPLV 2026 | SPLV
URL:https://sicsa.ac.uk/event/splv26-scottish-programming-languages-and-verification-summer-school-2026/
CATEGORIES:Event,Opportunity,Summer school
ATTACH;FMTTYPE=image/png:https://sicsa.ac.uk/wp-content/uploads/2026/01/SPLV26-Scottish-Programming-Languages-and-Verification-Summer-School-2026.png
END:VEVENT
END:VCALENDAR