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:20260525T131731
DTSTART;TZID=Asia/Hong_Kong:20210601T140000
DTEND;TZID=Asia/Hong_Kong:20210601T170000
LOCATION:https://hkust.zoom.us/j/7373258683?pwd=bEZuQW5KVUx5d3M2aWh5ZHl6N2xwQT09, HKUST
SUMMARY:MPhil in Computer Science & Engg - CONSTRAINT-SPECIFIC ACCELERATION OF Z3 SOLVER WITH EXTENDED SEARCH SPACE COVERAGE
UID:27827
END:VEVENT
END:VCALENDAR