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: 
  * 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 (

Finally, a reminder to notify your colleagues about the TC web page where both joining instructions and seminar details/talks appear: