BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260501T074801Z
DTSTART;TZID=Australia/Melbourne:20160506T070000
DTEND;TZID=Australia/Melbourne:20160506T090000
SUMMARY:Terms for Classical Sequents: Proof Invariants and Strong Normalisation
UID:20260504T040028Z-iCalPlugin-Grails@philevents-web-6b96c54f56-bljdq
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
