TC on Verification of Autonomous Systems Online Seminar Series

On 5 Nov, 2020

At virtual event virtual event

RAS Technical Committee on Verification of Autonomous Systems invites you to attend our monthly online Seminar Series. The next seminar will take place on November 5th12:00 EST/EDT17:00 BST. The program is as follows:

Marco Roggero, "Design and verification of algorithms for object detection and tracking using lidar data"

Brian Logan,  "Synthesising provably correct programs for autonomous systems"

If you wish to attend this seminar please please join the IEEE TC mailing list on our webpage- https://app.smartsheet.com/b/form/ac6cf12aaad34818a315d09574f28a66


2020-11-05 00:00:00
-0001-11-30 00:00:00

Easy Links