Upcoming Events

Past Events

• [27 October 2021] Tutorial on Enhancing Robot Reliability through Runtime Verification (Tool Demonstration)
• [1 October 2021] Workshop on Quality and Reliability Assessment of Robotic Software Architectures and Components
• [18 May 2021] Workshop on Verification of Autonomous & Robotic Systems
• [13 January 2021] Workshop on Verification and Regulatory Issues for Remote Robotic Inspection
• [21 October 2021] Third Workshop on Formal Methods for Autonomous Systems
• [26 July 2021] Accelerating the Use of Autonomy on Robotic Space Missions
• [7 December 2020] Second Workshop on Formal Methods for Autonomous Systems
• [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
• [4 September 2020] Workshop on Agents and Robots for reliable Engineered Autonomy

Event Series

• Workshop on Formal Methods for Autonomous Systems (FMAS)
• Future of Nuclear Robotics Certification Workshop Series