Upcoming Events

Past Events

• [15 November 2023] Fifth International Workshop on Formal Methods for Autonomous Systems
• [30 September 2023] Third Workshop on Agents and Robots for reliable Engineered Autonomy
• [2 June 2023] Second Workshop on Quality and Reliability Assessment of Robotic Software Architectures and Components
• [29 May 2023] Workshop on Neuro-symbolic AI for Agent and Multi-Agent systems (NeSyMAS)
• [9 March 2023] International Symposium on the Verification of Autonomous Mobile Systems
• [26 September 2022] Fourth International 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 International 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 International 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 International 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