BEGIN:VCALENDAR
PRODID:scnitm
VERSION:2.0
BEGIN:VTIMEZONE
TZID:my/AEST
BEGIN:STANDARD
DTSTART:19700101T010000
TZOFFSETFROM:+1000
TZOFFSETTO:+1000
END:STANDARD
END:VTIMEZONE
BEGIN:VTIMEZONE
TZID:my/AEDT
BEGIN:STANDARD
DTSTART:19700101T010000
TZOFFSETFROM:+1100
TZOFFSETTO:+1100
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:scnitm-3488383-1775897606-1
DTSTART;TZID=my/AEST:20240816T090000
DTEND;TZID=my/AEST:20240816T110000
SUMMARY:Lean times: The anatomy of a proof assistant
DESCRIPTION:See scnews item https://mail.maths.usyd.edu.au/s/scnitm/cmeister-InformalFridaySeminar-Bau-001
LOCATION:SMRI Seminar Room (A12 Room 301) 
END:VEVENT
END:VCALENDAR

