Upcoming Events

Past Events

• [26 September 2022] Fourth Workshop on Formal Methods for Autonomous Systems
• [24 July 2022] Second Workshop on Agents and Robots for reliable Engineered Autonomy
• [23 May 2022] ICRA Workshop on the Verification of Autonomous Systems (VAS)
• [16 March 2022] Principles and Safety Cases for the use of Autonomous Systems in Nuclear Environments
• [27 October 2021] Tutorial on Enhancing Robot Reliability through Runtime Verification (Tool Demonstration)
• [21 October 2021] Third Workshop on Formal Methods for Autonomous Systems
• [1 October 2021] Workshop on Quality and Reliability Assessment of Robotic Software Architectures and Components
• [26 July 2021] Accelerating the Use of Autonomy on Robotic Space Missions
• [18 May 2021] Workshop on Verification of Autonomous & Robotic Systems
• [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] First 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

Event Series

• Workshop on Agents and Robots for reliable Engineered Autonomy (AREA)
• Workshop on Formal Methods for Autonomous Systems (FMAS)
• Future of Nuclear Robotics Certification Workshop Series