BEGIN:VCALENDAR
PRODID:-//HKUST Drupal Platform//EN
VERSION:2.0
BEGIN:VTIMEZONE
TZID:Asia/Hong_Kong
BEGIN:STANDARD
DTSTART:20071104T020000
TZOFFSETFROM:+0700
TZOFFSETTO:+0800
TZNAME:HKT
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP;TZID=Asia/Hong_Kong:20260524T062923
DTSTART;TZID=Asia/Hong_Kong:20210210T090000
DTEND;TZID=Asia/Hong_Kong:20210210T100000
LOCATION:ZOOM ID: 927 9437 2451  PASSCODE: 191993
SUMMARY:Towards Verified Control and Machine Learning of Cyber Physical Systems: A Formal Methods Perspective   
UID:27458
END:VEVENT
END:VCALENDAR