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:
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
Programme (short talks of 15/20 minutes each):
* 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 (dejanira.araiza.i@gmail.com,
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/