TC on Verification of Autonomous Systems Online Seminar Series

From 22 Sep, 2020 09:00 until 1 Oct, 2020 11:42

At virtual event virtual event

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-

2020-09-22 09:00:00
2020-10-01 11:42:00

Easy Links