BEGIN:VCALENDAR
VERSION:2.0
PRODID:IEEE vTools.Events//EN
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:Asia/Singapore
BEGIN:DAYLIGHT
DTSTART:20380119T111407
TZOFFSETFROM:+0800
TZOFFSETTO:+0800
RRULE:FREQ=YEARLY;BYDAY=3TU;BYMONTH=1
TZNAME:+08
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:19820101T000000
TZOFFSETFROM:+0730
TZOFFSETTO:+0800
RRULE:FREQ=YEARLY;BYDAY=1FR;BYMONTH=1
TZNAME:+08
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260903T061920Z
UID:4C96F337-5064-42ED-B40D-1782C53D4319
DTSTART;TZID=Asia/Singapore:20260909T160000
DTEND;TZID=Asia/Singapore:20260909T170000
DESCRIPTION:\n\nCo-sponsored by: Centre for System Intelligence and Efficie
 ncy (CSIE)\n\nEEE Executive Seminar Room (S2.2-B2-53)\, Singapore\, Singap
 ore\, Singapore
LOCATION:EEE Executive Seminar Room (S2.2-B2-53)\, Singapore\, Singapore\, 
 Singapore
ORGANIZER:elhxie@ntu.edu.sg
SEQUENCE:8
SUMMARY:Formal Methods for (Multi-)Robot Control under Complex Specificatio
 ns and Security Constraints
URL;VALUE=URI:https://events.vtools.ieee.org/m/575566
X-ALT-DESC:Description: <br /><p><img src="https://events.vtools.ieee.org/v
 tools_ui/media/display/280625d9-0b7b-4441-a46c-3bba41d46eed"></p>
END:VEVENT
END:VCALENDAR