Workshop Dates
The workshops co-located with iFM 2024 will take place on 11–13 November 2024.
List of Workshops
- Formal Methods for Autonomous Systems
Core Technology Facility (11–12 Nov)
11–13 Nov 2024
Grand Hall at the Whitworth Art Gallery (13 Nov) - Formal Ethical Agents and Robots
Rutherford Rooms in the Core Technology Facility
11 Nov 2024 - PhD Symposium
Rutherford Rooms in the Core Technology Facility
12 Nov 2024