Upcoming Workshops, Tutorials, and other events run by Members of the Autonomy and Verification Network.
Upcoming Events
- [18 May 2021] Workshop on Verification of Autonomous & Robotic Systems
Past Events
- [13 January 2021] Workshop on Verification and Regulatory Issues for Remote Robotic Inspection
- [7 December 2020] Second Workshop on Formal Methods for Autonomous Systems
- [4 September 2020] Workshop on Agents and Robots for reliable Engineered Autonomy
- [21 January 2020] Workshop on Towards Greater Autonomy in Space
- [20 October 2019] Dagstuhl Seminar: Analysis of Autonomous Mobile Collectives in Complex Physical Environments
- [11 October 2019] First Workshop on Formal Methods for Autonomous Systems
- [12 April 2019] Scoping Certifiable Autonomous Nuclear Robotics
- [19 March 2019] Surveying Formal Methods for Robotic Systems Tutorial
- [1 February 2019] Space Security Scoping Workshop
- [11 September 2018] Future of Nuclear Robotics Safety Cases