🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

📢 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: fmtea.github.io

FACS 24 will start tomorrow at Politecnico di Milano! We do have an exciting program which is available on our website: facs-conference.github.io/2024/program/ Also the proceedings are publised online at link.springer.com/book/978303171…

We are very happy to have Ana Cavalcanti presenting the RoboStar approach as our first Keynote Speaker for #FACS24

🚀 It begins! #FM2024

Our second keynote is about the verification and control of stochastic multi-agent systems and given by David Parker from University of Oxford

Wrapping up a great first day for #FM2024! 🎉 Check out tomorrow's program and enjoy your night in Milan 💫➡️ easychair.org/smart-program/…

Presenting our recent work on analyzing reinforcement learning policies at Formal Methods 2026 in Milano! Come say hi if you’re attending/in the city!

No better way to end the second day than jazz music and awards 🏆 See you tomorrow for the main conference kick-off ➡️ easychair.org/smart-program/…

Marta Kwiatkowska kicks off Formal Methods 2026 in Milan with a keynote on adversarial robustness certification Formal Methods Europe

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 Formal Methods 2026 Formal Methods Europe

#FM2024 officially started 🚀 Check out today's exciting program ➡️ easychair.org/smart-program/…

Presenting our tool Asmeta asmeta.github.io at Formal Methods 2026 foselab - in the picture: Andrea Bombarda Silvia Bonfanti me ElviniaRiccobene Patrizia Scandurra - video available soon

Jeannette Wing receives the 2024 FME Fellowship Award! Formal Methods 2026

A proud and historical moment for the FM community: Jeannette Wing is the first female winner of the FME Fellowship Award 🏆

Parv Kapoor is presenting our paper (joint work with Toyota) on analyzing the robustness of RL-based CPS using a novel falisification method tomorrow Formal Methods 2026 in the Embedded Systems track. Please check out his talk! Preprint: arxiv.org/abs/2406.17066

Paul Kobialka presents our work on stochastic models for user journeys at Formal Methods 2026 Smart Journey Mining project

Time to write a good paper!

#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 🙏 📸➡️fm24.polimi.it Looking forward to #FM2026 🚀