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/EDT14: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