The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP.
ETAPS 2026: April 11 - 16, Turin, Italy
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
Call for ETAPS 2027 satellite events is out! Apply by June 26!
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
New blog post about the Diversity, Equity, and Inclusion session held at ETAPS 2026 is out!
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
The photos from ETAPS are up on the website https://etaps.community/association/gallery/2026/
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
The ETAPS 2027 Joint Call for Papers is out! Check the deadlines, especially the first ESOP submission deadline set to May 28, 2026!
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
Congratulations to the winner of the 8th International Competition on Software Testing (Test-Comp 2026) Kaled Alshmrany (FuSeBMC) in the categories C.Overall, C.Cover-Branches and C.Cover-Error!
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
Laura Kovács - a SPIN invited speaker - talks about learning and proving invariants.
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
Sebastian Junges is just talking about stochastic model checking as a Spin invited speaker.
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
The last day of ETAPS 2026 is starting! Our keynote speaker Guy van den Broeck speaks about symbolic reasoning in the times of LLMs.
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
As each year, several ETAPS awards were granted to the authors of papers and tools for their outstanding results. Congratulations!
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
Spin symposium - co-located with ETAPS - kicks off today by an invited talk on floating-point numbers verification by Eva Darulova.
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
Monika Henzinger opens the third day of ETAPS main conferences, talking about differential privacy!
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
The Ask-Me-Anything session hosted by Sebastian Junges has just started. Dirk Beyer, Barbara König, Robbert Krebbers and Maurice ter Beek will discuss the topic of conference rankings and their impact to ETAPS conferences.
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
Einar Broch Johnsen opens the second day of ETAPS main conferences with his invited talk on formal methods and digital twins.
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
Leo de Moura is giving his invited tutorial about LEAN!
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
Congratulations to the winners of the VerifyThis Competition!
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
Luigia Petre talking about teaching FM at FM4ALL. Surprising numbers!
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
ETAPS main conferences have just started with a keynote given by Christel Baier on Dynamic Bayesian Networks.
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
ETAPS Mentoring Workshop (EMW) with a great set of speakers has started today as well. A traditional ETAPS satellite event for students attending the conference.
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
ETAPS weekend workshops have just started in Turin! Fifteen events take place over Saturday and Sunday.
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
What can formal methods do for LLMs? And what have kangaroos got to do with anything?
Guy Van den Broeck promises us all the answers in this year's TACAS keynote. For a preview, check out the latest blog post:
https://etaps.org/blog/047-guy-van-den-broeck/