#FM2024 saw a record-breaking number of 219 submissions to 6 tracks with 4 keynotes, 5 co-located events and 6 workshops leading to countless discussions and ideas shared throughout all last week 💡
Grazie 🙏
📸➡️https://t.co/s3oX5BoqF0
Looking forward to #FM2026 🚀
Presenting our work “Automated Repair of Information Flow Security in Android Implicit Inter-App Communication” at FM 2024 @FMsymp#FM2024
Details of the Paper:
DOI: https://t.co/r875C23FbN
Artifacts: https://t.co/4TT83h7H1B
@Parvkpr is presenting our paper (joint work with Toyota) on analyzing the robustness of RL-based CPS using a novel falisification method tomorrow @FMsymp in the Embedded Systems track. Please check out his talk! Preprint: https://t.co/FgWRgclVET
In the opening keynote of the FM symposium, Marta Kwiatkowska argues that formal methods can help provide provable guarantees is high-stake AI/ML applications. #FM24@FMsymp@FormalMtds
FACS 24 will start tomorrow at @polimi!
We do have an exciting program which is available on our website: https://t.co/y5RghMxBZI
Also the proceedings are publised online at https://t.co/aCJbcAEHU9
📢 New this year, the FMTea Workshop has a session with a demo of FM teaching material to foster the exchange of teaching experiences and the
adoption of teaching material 🎓📖
Parties interested in having a “booth” can
contact the FMTea PC Chairs: https://t.co/9YFHTbmAfw