The next online seminar associated with the IEEE RAS TC on the Verification of Autonomous Systems will be held in December!
Date: Thursday December 2nd, 9:00 EST, 14:00 GMT, 22:00 SGT
Please join the Zoom Meeting:
https://jnjmeetings.zoom.com/j/91758363530
Meeting ID: 917 5836 3530
Instructions:
* On joining, you will initially be put into a “waiting room”
* Please mute your microphone and turn off your video
* We will take questions – please input these via the chat
* On joining, you will initially be put into a “waiting room”
* Please mute your microphone and turn off your video
* We will take questions – please input these via the chat
Programme (short talks of 15/20 minutes each):
Mohammad Reza Mousavi, “Trust in Autonomous Systems through Verifiability”
Simos Gerasimou, “Evolutionary-Guided Controller Synthesis for Autonomous Systems”
If you wish to propose a talk for future seminars, then email Dejanira or Kevin ([email protected], [email protected]).
Finally, a reminder to notify your colleagues about the TC web page where both joining instructions and seminar details/talks appear:
https://www.ieee-ras.org/verification-of-autonomous-systems
https://www.ieee-ras.org/verification-of-autonomous-systems
