Fwd: [robotics-worldwide] [meetings] IEEE TC on Verification of Autonomous Systems online Seminar on April 1st 9:00 EDT, 13:00 GMT

[Ali Narenji Sheshkalani]

---------- Forwarded message ---------
From: dejanira1028 [via robotics-worldwide] <ml+s1046236...@n5.nabble.com>
Date: Fri, Mar 19, 2021, 11:16
Subject: [robotics-worldwide] [meetings] IEEE TC on Verification of Autonomous Systems online Seminar on April 1st 9:00 EDT, 13:00 GMT
To: ali.narenji <ali.n...@gmail.com>

The IEEE Technical Committee on the Verification of Autonomous Systems [
https://urldefense.com/v3/__https://www.ieee-ras.org/verification-of-autonomous-systems__;!!LIr3w8kk_Xxm!7d-gV32vSizaaa3w4gjO4Dg9-qqtrAvuEI7LkDzFPhfje7YwWTQx5JZ3rgPrPSX1TEaGO75v$ ] invites you to
attend our monthly online Seminar Series. The next seminar will take place
on April 1st, 9:00 EDT, 13:00 GMT. The program is as follows:



Aurora Schmidt & Marin Kobilarov, "Verified Assured Learning for Unmanned
Embedded Systems (VALUES)"

Ali Narenji Sheshkalani, "Verification of visibility-based properties on
multiple moving robots in an environment with obstacles"

    ** If you wish to attend this seminar please join the IEEE TC mailing
list on our webpage
https://urldefense.com/v3/__https://www.ieee-ras.org/verification-of-autonomous-systems__;!!LIr3w8kk_Xxm!7d-gV32vSizaaa3w4gjO4Dg9-qqtrAvuEI7LkDzFPhfje7YwWTQx5JZ3rgPrPSX1TEaGO75v$ 

   ** If you wish to give a future seminar, please also email us.


Thanks,

Dejanira Araiza-Illan, Michael Fisher, and Signe Redfield
_______________________________________________
robotics-worldwide mailing list
[hidden email]
http://duerer.usc.edu/mailman/listinfo.cgi/robotics-worldwide

---

If you reply to this email, your message will be added to the discussion below:

http://robotics-worldwide.1046236.n5.nabble.com/robotics-worldwide-meetings-IEEE-TC-on-Verification-of-Autonomous-Systems-online-Seminar-on-April-1sT-tp5726837.html

To start a new topic under robotics-worldwide, email ml+s1046236...@n5.nabble.com
To unsubscribe from robotics-worldwide, click here.
NAML