Online Seminar- 1 October 2020


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-


Easy Links