BEGIN:VCALENDAR
VERSION:2.0
PRODID:IEEE vTools.Events//EN
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:America/Montreal
BEGIN:DAYLIGHT
DTSTART:20230312T030000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
RRULE:FREQ=YEARLY;BYDAY=2SU;BYMONTH=3
TZNAME:EDT
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20231105T010000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
RRULE:FREQ=YEARLY;BYDAY=1SU;BYMONTH=11
TZNAME:EST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20230626T223417Z
UID:93B4E549-B9EB-4935-B5C1-C0299E7DB8B9
DTSTART;TZID=America/Montreal:20230626T110000
DTEND;TZID=America/Montreal:20230626T123000
DESCRIPTION:The Montreal Chapters of the IEEE Control Systems (CS) and Syst
 ems\, Man & Cybernetics (SMC) cordially invite you to attend the following
  in-person talk\, to be given by Dr. Jun Liu\, Associate Professor in Appl
 ied Mathematics at the University of Waterloo.\n\nCo-sponsored by: Concord
 ia University\n\nSpeaker(s): Dr. Jun Liu\, \n\nRoom: EV002.184\, Bldg: EV 
 Building\, Concordia University \, Montreal\, Quebec\, Canada\, H3G 1M8
LOCATION:Room: EV002.184\, Bldg: EV Building\, Concordia University \, Mont
 real\, Quebec\, Canada\, H3G 1M8
ORGANIZER:aghdam@encs.concordia.ca
SEQUENCE:12
SUMMARY:A QUEST FOR FORMAL CORRECTNESS IN CONTROL: FROM FORMAL METHODS TO V
 ERIFIABLE NEURAL LYAPUNOV CERTIFICATES
URL;VALUE=URI:https://events.vtools.ieee.org/m/364118
X-ALT-DESC:Description: <br /><p>The Montreal Chapters of the IEEE Control 
 Systems (CS) and Systems\, Man &amp\; Cybernetics (SMC) cordially invite y
 ou to attend the following in-person talk\, to be given by Dr. Jun Liu\, A
 ssociate Professor in Applied Mathematics at the University of Waterloo.</
 p>
END:VEVENT
END:VCALENDAR