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 5th, 12:00 EST/EDT, 17: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