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:20260417T010415
DTSTART;TZID=Asia/Hong_Kong:20211122T160000
DTEND;TZID=Asia/Hong_Kong:20211122T170000
LOCATION:Leung Yat Sing Lecture Theater (LT-F), near lift 25/26, HKUST
SUMMARY:Computer Science and Engineering Seminar in mixed mode (F2F and Zoom online)  - \"Principal Type Inference for Object-Oriented Programming in a Boolean Algebra of Types\"
UID:30378
END:VEVENT
END:VCALENDAR