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-3459436-1775887312-1
DTSTART;TZID=my/AEST:20250919T120000
DTEND;TZID=my/AEST:20250919T130000
SUMMARY:Sporadically integrating Magma with Lean
DESCRIPTION:See scnews item https://mail.maths.usyd.edu.au/s/scnitm/goertzen-AlgebraSeminar-Narayanan-
LOCATION:Carslaw 175
END:VEVENT
END:VCALENDAR