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:20260601T175801
DTSTART;TZID=Asia/Hong_Kong:20250414T200000
DTEND;TZID=Asia/Hong_Kong:20250414T210000
LOCATION:Join Zoom Meeting : https://hkust.zoom.us/j/98329223175?pwd=di3nMuDReJjsFaoyrddvE1OjDotBoj.1 Meeting ID: 983 2922 3175 Passcode: hkust
SUMMARY:Seminar on Data Science and Applied Mathematics  - Introducing Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
UID:43773
END:VEVENT
END:VCALENDAR