The deadline for TACAS, FoSSaCS, FASE, and ESOP (round II): is October 10th AoE. etaps.org/2025/cfp/ ETAPS Conferences (now on other platforms)

The deadline for submissions is still the 10th AoE (i.e., in ~2 hours), but submitted papers can now be polished until the 14th AoE

We are proud to announce invited speakers of ETAPS 2025: Amal Ahmed, Matthew B. Dwyer, José Meseguer, and Ina Schaefer. etaps.org/2025/speakers/

Title: Completeness and Consistency of Tabular Requirements: an SMT-Based Verification Approach Authors: Menghi, Claudio; Balai, Eugene; Valovcin, Darren; Sticksel, Christoph; Rajhans, Akshay Accepted for publication in IEEE Transactions on Software Engineering (TSE)

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

This is an excellent opportunity to pursue a PhD at UCD. Contact me if you are interested!

Happy Christmas from everyone at ETAPS!

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/

Reminder that the ETAPS doctoral dissertation award nomination deadline is the 15th Jan! Please nominate your excellent students* etaps.org/awards/doctora… *at eligible institutions, who completed their doctoral degree in 2024

Submit your interesting academic or industry verification problems to the 2025 edition of the VerifyThis competition (co-located with ETAPS’25) by Feb. 7, 2025! For more information about the competition and submission process, see the call for problems: pm.inf.ethz.ch/research/verif…

We are happy to announce that Julian Sutherland will give a keynote at #FMBC25 ETAPS Conferences (now on other platforms) Julian leads the formal verification team at Nethermind, developing formal methods-based solutions to formally verifying the web3 ecosystem.

Attending or planning to attend #icse2025 from April 27-May 3 in Ottawa? Why not extend your visit to Canada and attend ETAPS Conferences (now on other platforms) taking place the next week from May 3-8 in Hamilton. #icse2025 Registration: conf.researchr.org/attending/icse… #etaps2025 Registration: etaps.org/2025/registrat…

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

Title: Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements Authors: A. F. Zanenga, N. M. Bisceglia, B. Ippoliti, A. Bombarda, A. Gargantini, A. Rajhans, C. Menghi Accepted in Demonstration Track - Foundations of Software Engineering (FSE 2025)

Title: Can Generative AI Produce Test Cases? An Experience from the Automotive Domain Authors: Wynn-Williams, S.; Tyrrell, R.; Pantelic, V.; Lawford, M.; Menghi, C.; Nalla, P.; Artail, H. Accepted in Industry Track - Foundations of Software Engineering (FSE 2025)

Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements Companion Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering dl.acm.org/doi/10.1145/36…

Can Generative AI Produce Test Cases? An Experience from the Automotive Domain Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering - Industry Track dl.acm.org/doi/10.1145/36…