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

RAS Technical Committee on Verification of Autonomous Systems invites you to attend our monthly online Seminar Series. The next seminar will take place on  October 1st, 09:00 EST/EDT, 14:00 BST. The program is as follows:

Joanna Olszewska, "On V&V of Intelligent Vision Systems"

Charles Lesire-Cabaniols, "Formal methods for verification and control of
software architectures"

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

RAS Technical Committee on Verification of Autonomous Systems invites you to attend our monthly online Seminar Series. The next seminar will take place on  6 August 12:00 EST/EDT, 17:00 BST

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

RAS Technical Committee on Verification of Autonomous Systems invites you to attend our monthly online Seminar Series. The next seminar will take place on 2 July 2020- 09:00 EST/EDT, 14:00 BST.

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