Difference between revisions of "Portal:Events"
Jump to navigation
Jump to search
| (2 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 == | == Regular Events == | ||
=== Webinars === | |||
Pandemic considerations temporarily interrupted our planned workshops and inaugurated the TC-VAS webinar series. | 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]. | 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 27: | Line 32: | ||
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] | ||
October, 2023: [https://robotistry.org/vaswg/IROS23_Workshop/ IROS 2023 Workshop] "It Works Really Well: Verification in Theory and Practice"] | |||
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"]