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:20260421T150230Z
UID:d7a58b69-8245-42d5-93d5-1b73338270c8
DTSTART:20250509T160000
DTEND:20250509T180000
SUMMARY:Logic Colloquium\nJohan van Benthem\nMathematical Logic Meets Philo
 sophy: Tracing the role of Beth Definability and Craig Interpolation up to
  today
END:VEVENT
END:VCALENDAR