🔥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

Felienne Hermans (/Fay-lee-nuh/ ) talks diversity in part II of her interview on the ETAPS blog etaps.org/blog/027-felie…

Supervisors, has one of your students recently written an outstanding dissertation? Please nominate them for the ETAPS doctoral dissertation award*: etaps.org/awards/doctora… *provided they completed their degree at an eligible institution and submitted in 2024

The Role of Formal Methods in Computer Science Education. Summary of recent papers pointing out the key position of formal methods in CS ed inroads.acm.org/article.cfm?ai…

🚗 The #ABZ2025 case study is online! It is about a safety controller for autonomous driving on a highway. Check out the detailed specification here: abz-conf.org/site/2025/case… 📝 You can submit your case study papers by Feb 10, 2025 (abstract submission by Feb 3, 2025).

Testing Testing

The Formal Methods Europe Industry Committee announces the next InFM talk! Dr. David Delmas (Airbus) will discuss Formal Verification of #Avionics Software 🛫. Learn how #FormalMethods transform avionics! 🗓️ Jan 16, 2025 ⏰ 3 PM CET 📍fme-industry.github.io/talk/

The wait is over! 🚀 Join us TODAY for the next Formal Methods Europe talk! Dr. David Delmas (Airbus) dives into Formal Verification of #Avionics Software 🛫. Discover how #FormalMethods are revolutionizing avionics! ⏰ 3 PM CET 🔗 mdu-se.zoom.us/j/68365524091 Don’t miss it! 🎯 #Aerospace

The wait is over! 🚀 Join us TODAY for the next FME Industry talk! Dr. David Delmas (Airbus) dives into Formal Verification of #Avionics Software 🛫. Discover how #FormalMethods are revolutionising avionics! ⏰ 3 PM CET 🔗 buff.ly/4hf4WvP Don’t miss it! 🎯 #Aerospace

We're thrilled to announce our keynote speakers for FormaliSE 2025: Corina Pasareanu and Krzysztof Czarnecki! conf.researchr.org/home/Formalise…

FME Teaching Tutorial Friday, February 28, at 3 pm CET! Prof. Mariëlle Stoelinga from University of Twente in The Netherlands will discuss about "Life long learning — experience with educational programs for professionals". fme-teaching.github.io/2021/08/24/tut….

Did you know that we have a YouTube Channel? The FME YouTube channel collects invited talks at FM Symosia, FomaliSE conferences, and other formal methods events. Rewatch the talks on our YouTube channel (it's the next best thing to being there). buff.ly/43h03i3

Did you miss the invited talk at #FormaliSE2024 ? No you didn't. Watch it again on our YouTube channel: buff.ly/3F0ISaA We collect the invited talks for FM, FormaliSE, and other #FormalMethods events

Can't remeber something important from the #FM2023 invited talks? Yes you can. Watch them again on our YouTube channel: buff.ly/41khRXh We collect the invited talks for FM, FormaliSE, and many other #FormalMethods events

The invited talks from #FMAS2024 are on our YouTube channel: buff.ly/3QFxNhE You can watch Proof for Industrial Systems using Neural Certificates by Daniel Kröning (with #iFM2024) & Self-Adaptation in Autonomous Systems by Lizeth Tarifa #FormalMethods @FMASWorkshop

The program of FormaliSE 2025 is now available: conf.researchr.org/home/Formalise… See you in Ottawa! 🚀

FormaliSE 2025: call for particiption - mailchi.mp/d4f79ed6039e/a…

The 27th Symposium on Formal Methods Formal Methods 2026 CfP If your work develops or applies #FormalMethods then #FM2026 is probably interested! Dates (AoE) * Papers 2nd Dec 2025 * Conference 20th–22nd May 2026 Gold open access proceedings Details:conf.researchr.org/track/fm-2026/…

Are you develping or using #FormalMethods? Then Formal Methods 2026 is probably interested in your work! Dates (AoE) * Abstracts: 25th Nov 2025 * Papers 2nd Dec 2025 * Conference 20th–22nd May 2026 Gold Open Access proceedings Details:conf.researchr.org/track/fm-2026/… #FM2026

The 27th Symposium on Formal Methods CfP If your work develops or applies #FormalMethods then #FM2026 is probably interested! Dates (AoE) * Papers 2nd Dec 2025 * Conference 20th–22nd May 2026 Gold open access proceedings Details:

Are you develping or using #FormalMethods? Then #FM2026 is probably interested in your work! Dates (AoE) * Abstracts: 25th Nov 2025 * Papers 2nd Dec 2025 * Conference 20th–22nd May 2026 and Gold Open Access proceedings Details:conf.researchr.org/track/fm-2026/…