Twitter Beğeni Hilesi

A great interview with Luca Cardelli and Andy Gordon, – the winners of the ETAPS 2024 Test-of-Time Award – is on our blog! etaps.org/blog/023-tot-2…

A brand-new interview with Jurgen Vinju is available at ETAPS blog! Do not miss it! etaps.org/blog/024-jurge…

📢 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

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

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

FM2026 will be in Tokyo, May 2026!

#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 🚀

Less than a month until the submission deadline for TACAS, FoSSaCS, FASE and ESOP (round II): October 10th AoE. etaps.org/2025/cfp/

We are delighted to announce that the Institute of Engineering and Technology (IET) has shortlisted a TAS project team's work on AI and Oesophageal cancer for the Engineers in Society award. Learn more: tas.ac.uk/News/tas-proje…

If you're passionate about teaching, don't miss Felienne Hermans' insightful interview on computer science education at the ETAPS Blog! etaps.org/blog/025-felie…

The deadline for all four federated conferences at #ETAPS2025 is early next month! Get your papers ready for the 10th of October: etaps.org/2025/cfp/

The IEEE RAS Women in Engineering Lunch is today!