RT @IWCTConf: #IWCT2025 will take place next Monday. Checkout the program here: There is still time to register for….

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).

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).

RT @FormalMtds: Did you know that we have a YouTube Channel?. The FME YouTube channel collects invited talks at FM Symosia, FomaliSE confer….

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".

RT @ICSEconf: Attending or planning to attend #icse2025 from April 27-May 3 in Ottawa? Why not extend your visit to Canada and attend @ETAP….

RT @DiegoMarmsoler: We are happy to announce that @JulekSU will give a keynote at #FMBC25 @ETAPSconf. Julian leads the formal verification….

RT @ETAPSconf: Submit your interesting academic or industry verification problems to the 2025 edition of the VerifyThis competition (co-loc….

RT @bombandrea94: The @FormalMtds Industry Committee announces the next InFM talk! Dr. David Delmas (Airbus) will discuss Formal Verificati….

RT @ETAPSconf: Reminder that the ETAPS doctoral dissertation award nomination deadline is the 15th Jan! Please nominate your excellent stud….

RT @ETAPSconf: Happy Christmas from everyone at ETAPS!.

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

RT @ETAPSconf: Felienne Hermans (@Felienne ) talks diversity in part II of her interview on the ETAPS blog. https:/….

RT @ETAPSconf: Supervisors, has one of your students recently written an outstanding dissertation? Please nominate them for the ETAPS docto….

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).

RT @ETAPSconf: We are proud to announce invited speakers of ETAPS 2025: Amal Ahmed, Matthew B. Dwyer, José Meseguer, and Ina Schaefer. htt….

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

The deadline for TACAS, FoSSaCS, FASE, and ESOP (round II): is October 10th AoE. @ETAPSconf.

FME/BCS-FACS Joint Seminar. Title: The self-aware digital twin.Speaker: Professor Einar Broch Johnsen, University of Oslo.Tuesday, 15 October 2024, 17:15 – 19:30 BST.

RT @AandVNetwork: The Foundations of Software Science and Computation Structures (FoSSaCS) deadline is near!. Deadline: 10th of October Ao….