BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260919T223835Z
DTSTART;TZID=Europe/Helsinki:20150727T120000
DTEND;TZID=Europe/Helsinki:20150801T130000
SUMMARY:The Scandinavian Logic Society (SLS) Summer School in Logic 2015
UID:20260919T223835Z-iCalPlugin-Grails@fe80:0:0:0:cc4b:43ff:fe63:b1f2%3
TZID:Europe/Helsinki
LOCATION:Fabianinkatu 24\, Helsinki\, Finland
DESCRIPTION:<p>The School offers 7 tutorials aimed at graduate students. The topics are: Logic and Quantum Information (Abramsky)\, Proof Theory and Proof Mining (Avigad)\, Reflection Principles and Large Cardinals (Fontanella)\, Logical Completeness (Philosophy\, Franks)\, Classification Theory (Model Theory\, Hirvonen)\, Automata-Theoretic Verification (Vardi)\, TBA (Schweikardt)</p>
ORGANIZER:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR