FMASWorkshopAnd with that amazing session, it's time for us to bid farewell! π
#FMAS2025 comes to an end!
Thank you to all the participants, attendees, the program committee, and the
chairs for making this event a success!
-- Organizing Committee
The paper "Towards A Catalogue of Formalised Requirement Patterns for Robotic Space Missions" by Mahdi Etumi, Hazel Taylor, and Marie Farrell is in the #FMAS2025 proceedings: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2025.12
Mahdi Etumi presents their paper (the best #FMAS2025 paper!) titled "Towards A Catalogue of Formalised Requirement Patterns for Robotic Space Missions".
We will be back after coffee for the final session of #FMAS2025!
This session will be chaired by our PC Chair, Maike Schwammberger, and it contains two #iFM papers and the best paper from #FMAS2025.
Did you ever wish to explore the use of Integrated Formal Methods for the Verification of Cyber-Physical and Autonomous Systems?
Prof. Paula Herber is giving the keynote talk on this right now! #FMAS2025 #iFM
If you can't attend the talk, it'll be recorded and uploaded online.
The last day of #FMAS2025 is about to start! It's a joint session with iFM.
Prof. Paula Herber is going to kick off iFM with her keynote talk about "Integrated Formal Methods for the Verification of Cyber-Physical and Autonomous Systems".
A very lively and enriching discussion session finally comes to an end, as well
as day 2 of #FMAS2025!
See you guys at the dinner!
#FMAS2025 Discussion sessions are underway!
Topics:
- Pros and Cons of AI-use in Scientific Publishing Processes
- Challenges and solutions of FMAS
- Ethical guidelines for AI usage
Topics:
- Pros and Cons of AI-use in Scientific Publishing Processes
- Challenges and solutions of FMAS
- Ethical guidelines for AI usage
The paper "Context-aware, Ante-hoc Explanations of Driving Behaviour" by Dominik Grundt, Ishan Saxena, Malte Petersen, Bernd Westphal, and Eike MΓΆhlmann is in the #FMAS2025 proceedings: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2025.11
The paper "Model Learning for Adjusting the Level of Automation in HCPS" by Mehrnoush Hajnorouzi, Astrid Rakow, and Martin FrΓ€nzle is in the #FMAS2025 proceedings: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2025.10