BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260410T175613Z
DTSTART;TZID=Australia/Melbourne:20160506T070000
DTEND;TZID=Australia/Melbourne:20160506T090000
SUMMARY:Terms for Classical Sequents: Proof Invariants and Strong Normalisation
UID:20260411T223051Z-iCalPlugin-Grails@philevents-web-f5d4878dd-dnjxp
TZID:Australia/Melbourne
LOCATION:Old Quad\, Parkville\, Australia\, 3010
DESCRIPTION:<p>Greg Restall (Melbourne) will be giving a talk titled "Terms for Classical Sequents: Proof Invariants and Strong Normalisation"</p>
ORGANIZER;CN=Shawn Standefer:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR
