BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
BEGIN:DAYLIGHT
DTSTART:19700308T020000
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
RRULE:FREQ=YEARLY;BYDAY=2SU;BYMONTH=3
TZNAME:PDT
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:19701101T020000
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
RRULE:FREQ=YEARLY;BYDAY=1SU;BYMONTH=11
TZNAME:PST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20261024T083206Z
UID:da3fabdd-9640-4146-85e5-3f12a4c70fd2
DTSTART:20160408T231000
DTEND:20160409T010000
SUMMARY:Alfred Tarski Lectures\nWilliam W. Tait\nCut-Elimination for Subsys
 tems of Classical Second-Order Number Theory: Cut-Elimination for Π_1^1
  − CA with the ω-Rule—and Beyond(?)
END:VEVENT
END:VCALENDAR