BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260717T151147Z
DTSTART;TZID=Australia/Melbourne:20120601T120000
DTEND;TZID=Australia/Melbourne:20120601T140000
SUMMARY:Proof Theory for Contingent Existence 
UID:20260720T074149Z-iCalPlugin-Grails@fe80:0:0:0:74d0:1ff:feb1:3c52%3
TZID:Australia/Melbourne
LOCATION:Common Room\, Old Quad\, University of Melbourne (Parkville)\, Melbourne\, Australia
DESCRIPTION:<p>We investigate a way to give a sequent calculus for quantified modal logic which allows for contingent existence by deploying variables in a scope-marking\, as well as individual representing role.</p>
ORGANIZER;CN=Che-Ping Su:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR