Difference between revisions of "Portal:Events"

From Verification Body of Knowledge
Jump to navigation Jump to search
 
(3 intermediate revisions by the same user not shown)
Line 1: Line 1:
IEEE RAS Technical Committee for Verification of Autonomous Systems [https://www.ieee-ras.org/verification-of-autonomous-systems/activities-verification-of-autonomous-systems activities].
== Regular Events ==
=== Webinars ===
Pandemic considerations temporarily interrupted our planned workshops and inaugurated the TC-VAS webinar series.
Links to the talks and information about how to join are posted on the IEEE RAS [https://www.ieee-ras.org/verification-of-autonomous-systems/activities-verification-of-autonomous-systems TC-VAS website].
=== Conferences / Symposia ===
<When we start having these, this is where they will go!>
== Past Events ==
== Past Events ==


Line 21: Line 33:
May, 2022:  [https://robotistry.org/vaswg/ICRA22_Workshop/index.html ICRA 2022 Workshop]
May, 2022:  [https://robotistry.org/vaswg/ICRA22_Workshop/index.html ICRA 2022 Workshop]


== Regular Events ==
October, 2023:  [https://robotistry.org/vaswg/IROS23_Workshop/ IROS 2023 Workshop] "It Works Really Well:  Verification in Theory and Practice"]
 
==== Webinars ====
Pandemic considerations temporarily interrupted our planned workshops and inaugurated the TC-VAS webinar series.
 
Links to the talks and information about how to join are posted on the IEEE RAS [https://www.ieee-ras.org/verification-of-autonomous-systems/activities-verification-of-autonomous-systems TC-VAS website].

Latest revision as of 12:02, 22 August 2023

IEEE RAS Technical Committee for Verification of Autonomous Systems activities.

Regular Events

Webinars

Pandemic considerations temporarily interrupted our planned workshops and inaugurated the TC-VAS webinar series.

Links to the talks and information about how to join are posted on the IEEE RAS TC-VAS website.

Conferences / Symposia

<When we start having these, this is where they will go!>

Past Events

Pre-IEEE Technical Committee VAS Working group meetings

April, 2014: Working Group Kick-off Meeting

June, 2015: NIST Working Group Meeting 1

May, 2016: ICRA 2016 Workshop

September, 2017: IROS 2017 Workshop

May, 2018: ICRA 2018 Workshop

November, 2018: NIST Working Group Meeting 2

Technical Committee for Verification of Autonomous Systems (TC-VAS) Events

Workshops

May, 2022: ICRA 2022 Workshop

October, 2023: IROS 2023 Workshop "It Works Really Well: Verification in Theory and Practice"]