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