BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260606T090550Z
DTSTART;TZID=Australia/Melbourne:20120601T120000
DTEND;TZID=Australia/Melbourne:20120601T140000
SUMMARY:Proof Theory for Contingent Existence 
UID:20260611T185558Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
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