Call for ETAPS 2027 satellite events is out! Apply by June 26! etaps.org/2027/sat-eve...

New blog post about the Diversity, Equity, and Inclusion session held at ETAPS 2026 is out! etaps.org/blog/048-dei...

The photos from ETAPS are up on the website etaps.community/association/...

The ETAPS 2027 Joint Call for Papers is out! Check the deadlines, especially the first ESOP submission deadline set to May 28, 2026! etaps.org/2027/cfp/

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!

Laura Kovács - a SPIN invited speaker - talks about learning and proving invariants.

Sebastian Junges is just talking about stochastic model checking as a Spin invited speaker.

The last day of ETAPS 2026 is starting! Our keynote speaker Guy van den Broeck speaks about symbolic reasoning in the times of LLMs.

As each year, several ETAPS awards were granted to the authors of papers and tools for their outstanding results. Congratulations!

Spin symposium - co-located with ETAPS - kicks off today by an invited talk on floating-point numbers verification by Eva Darulova.

Monika Henzinger opens the third day of ETAPS main conferences, talking about differential privacy!

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.

Einar Broch Johnsen opens the second day of ETAPS main conferences with his invited talk on formal methods and digital twins.

Leo de Moura is giving his invited tutorial about LEAN!

Congratulations to the winners of the VerifyThis Competition!

Luigia Petre talking about teaching FM at FM4ALL. Surprising numbers!

ETAPS Martin conferences have just started with a keynote given by Christel Baier on Dynamic Bayesian Networks.

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. etaps.org/2026/sat-eve...

ETAPS weekend workshops have just started in Turin! Fifteen events take place over Saturday and Sunday. etaps.org/2026/program...

The 7th edition of #FMBC is kicking off in Turin as part of @etapsconf.bsky.social with a keynote of Jochen Hoenicke from Certora

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: etaps.org/blog/047-guy...

ETAPS Poster Book 2026 – the collection of posters to be presented in Turin next week – has been published! etaps.org/2026/posters/

Coming to Turin for ETAPS? Check the offer for city transportation from ETAPS mobility partner! etaps.org/2026/attendi...

Blog blog blog! etaps.org/blog/046-mon... Monika Henzinger is the ETAPS 2026 unifying speaker. Get your sneak peek of what she'll be talking about in our latest blog.

Do not miss our latest blog post – an interview with an ETAPS keynote speaker Monika Henzinger about differential privacy! etaps.org/blog/046-mon...

New blog post! Peter Mueller and Rustan Leino talk about their 2025 Test of Time Award [1] etaps.org/blog/045-tot...

The future of automated reasoning? Leo de Moura has the answers (maybe), in our latest blog post: etaps.org/blog/043-leo...

Just a few more weeks until the early registration deadline (March 10th), so time to start planning your travel (if you haven't already), and reading our ETAPS blog on Turin: etaps.org/blog/042-tur...

New Blog Post Alert! Model Checking Goes Spatial with Mieke Massink: etaps.org/blog/041-mie...

The call for nominations for the ETAPS Test of Time Award is now open! etaps.org/awards/test-...

Information about the ETAPS 2026 venue is now up on the website: etaps.org/2026/attendi...

What makes a tool like CBMC successful? And is software model checking still relevant in the age of LLMs? This month's blog is an interview with Peter Schrammel, Michael Tautschnig and Daniel Kroening, winners of the Test of Time Tool Award at ETAPS 2025. etaps.org/blog/040-tot...

This months blog post is a throw-back to ETAPS 2025. We sat down and interviewed two of the attendees of the ETAPS mentoring workshop and asked them what it was all about, and what advice they would give to PhD students attending ETAPS in the future. etaps.org/blog/039-emw...

Submission deadline for ETAPS main conferences ESOP (round 2), FASE, FoSSaCS, and TACAS is on Oct 16 (AoE). Do not miss it! etaps.org/2026/cfp/ #etaps #etapsconf #etaps2026

The final tutorial speaker for ETAPS 2026 is announced: Mieke Massink from CNR-ISTI will talk about Model Checking in Space with applications to medical image analysis. etaps.org/2026/speaker...

SPIN and the Rust Verification Workshop both officially confirmed to be co-located with ETAPS next year. More info here: etaps.org/2026/colloca...

New blog post: an interview with Kevin Batz, winner of the ETAPS 2025 dissertation award. etaps.org/blog/037-kev...

Should we be worried about AI? A new blog post with Phil Wadler: etaps.org/blog/036-phi...

We are delighted to announce the invited speakers for ETAPS 2026 in Turin: Christel Baier (TU Dresden), Monika Henzinger (IST Austria), Einar Broch Johnsen (University of Oslo), and Guy Van den Broeck (UCL, Los Angeles). etaps.org/2026/speakers/

New blog post: Eunsuk Kang talks about how to build resilience in academia. This is adapted from his fantastic talk at the ETAPS mentoring workshop last month. etaps.org/blog/035-eun...

A new blog post is out: etaps.org/blog/034-yot... Yotam Feldman, winner of the 2024 ETAPS dissertation award, talks about his PhD research.

ETAPS 2026 might seem like a long way off, but the joint call for papers is now out! etaps.org/2026/cfp/ Get your papers ready for October for ESOP (round 2), TACAS, FoSSaCs and FASE

A few last announcements from ETAPS 2025

The full set of photos from ETAPS are now up on the website (accessible by ETAPS members only): etaps.community/association/... Photo credit: Natasha Lawford

Congratulations to all the award winners!

ETAPS 2025 is over. Many thanks to organizers for a wonderful event and all the attendees for being there! See you at ETAPS 2026 in Torino!

A few moments from last night's ETAPS 2025 banquet. Award photos coming soon! Photo credits 📸: Natasha Lawford

The final invited talk of ETAPS 2025 is just in progress. Matt Dwyer talks about validation of machine learning models.

Reminder: boxed lunch. Collect it from the same place as the coffee breaks, but you can still eat in the same place as before.

A fantastic start to the last day of ETAPS 2025 with our final keynote speaker, Matt Dwyer, presenting 'Leveraging Abstractions for Validation of Machine Learning Models.' Thank you for the insights and inspiration! #ETAPS2025 #McSCert Photo credits 📸: Natasha Lawford