BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20261013T105000Z
DTSTART;TZID=Europe/Helsinki:20150727T120000
DTEND;TZID=Europe/Helsinki:20150801T130000
SUMMARY:The Scandinavian Logic Society (SLS) Summer School in Logic 2015
UID:20261029T210307Z-iCalPlugin-Grails@fe80:0:0:0:e0e7:9bff:fe34:7695%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
