Workshop Dates
The workshops co-located with iFM 2024 will take place on 11–12 November 2024, on the Monday and Tuesday before the main conference from Wednesday to Friday.
List of Workshops
- Formal Methods for Autonomous Systems
11–12 Nov, Location TBD - Formal Ethical Agents and Robots
11 Nov, Location TBD - PhD Symposium
12 Nov, Location TBD