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:20260512T011600
DTSTART;TZID=Asia/Hong_Kong:20260526T150000
DTEND;TZID=Asia/Hong_Kong:20260526T180000
LOCATION: , HKUST
SUMMARY:PHD in Electronic & Comp Engg - Scalable Formal Verification of HLS Designs: A Methodology with Semantic and Proof Awareness
UID:47069
END:VEVENT
END:VCALENDAR