- This event has passed.
A QUEST FOR FORMAL CORRECTNESS IN CONTROL: FROM FORMAL METHODS TO VERIFIABLE NEURAL LYAPUNOV CERTIFICATES
June 26 @ 3:00 pm - 4:30 pm
The Montreal Chapters of the IEEE Control Systems (CS) and Systems, Man & Cybernetics (SMC) cordially invite you to attend the following in-person talk, to be given by Dr. Jun Liu, Associate Professor in Applied Mathematics at the University of Waterloo. Co-sponsored by: Concordia University Speaker(s): Dr. Jun Liu, Room: EV002.184, Bldg: EV Building, Concordia University , Montreal, Quebec, Canada, H3G 1M8