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

Lunch today is a boxed lunch. You can still sit and eat in the same place as usual, but if you need to grab and go, feel free to do so

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

(posts with photos to come later)

And the best reviewer awards go to: Peter Müller (ESOP) Naoki Kobayashi (fossacs) Andrian Rutle (FASE) Alan Hu (Tacas)

The test of time tool award goes to Daniel Kroening, Peter Schrammel, and Michael Tautschnig for their tool CBMC

The test of time award goes to A Basis for Verifying Multi-threaded Programs by Rustan Leino and Peter Mueller, published at ESOP 2009

The dissertation award this year goes to Kevin Batz for his thesis on Automated Deductive Verification of Probabilistic Programs. Kevin was supervised by Joost-Pieter Katoen at RWTH Aachen University, Germany

Congratulations to all the award winners this year! Posts with photos to follow

Reminder that the buses for the banquet start leaving at 6pm from MUSC, and the last bus departs at 6.20pm

Thank you for an engaging presentation "Prose No More: Formally Specifying ABIs using Realistic Realizability" by our keynote speaker today, Amal Ahmed. #ETAPS2025 #McSCert Photo credits 📸: Natasha Lawford

Great presentation yesterday by Reuben Rowe on paper "Cyclone: A Heterogeneous Tool for Verifying Infinite Descent" by Liron Cohen, Reuben Rowe and Matan Shaked. Congratulations on the TACAS distinguished paper award!

Reminder: ETAPS general assembly is at 1pm, make sure you join the ETAPS association so you can vote! etaps.community

The tutorial by Arun Ross, on the impact of AI on biometrics, is starting now in 1305: etaps.org/2025/speaker...

The Ask-Me-Anything sessions start at 2pm in room 1008. We're very pleased to have Laura Kovacs and Marie Farrell to discuss the future of conferences, and Holger Hermanns and Tiziana Margaria to discuss software liability, legislation and the AI act. #ETAPS2025

A wonderful talk from our keynote speaker this morning, José Meseguer, on 'Capturing System Designs with Formal Executable Specifications.' Thank you! #ETAPS2025 #McSCert

All smiles at the reception last night! Remember to hand in your networking bingo cards at the registration desk before 12:30 today for a chance to win a prize 🎁 #ETAPS2025

Day 2 is starting soon, with José Meseguer, the FASE invited speaker, in room 1305 etaps.org/2025/speaker...

Amazing presentation by Florence Clerc on paper "A behavioural pseudometric for continuous-time Markov processes" by Linan Chen, Florence Clerc and Prakash Panangaden. Congratulations on the FOSSACS distinguished paper award!

Lunch break: great networking over excellent food at ETAPS 2025!

Starting off the morning after our first keynote speaker #ETAPS2025

Great audience interest for Ina Schaefer's opening ETAPS keynote presentation "Correctness-by-Construction—Past, Present and Future" #ETAPS2025 #McSCert

Ina Schaefer is giving the first keynote talk at this year's ETAPS on correctness by construction!

And there’s another episode of lunch roulette today for those who missed the Saturday

The main conference starts today

Discover the ETAPS Poster Book 2025, showcasing vibrant research and ideas. Explore posters at etaps.org/2025/posters/!

Did you know that within the ETAPS program, each paper from the four main conferences includes a link to its corresponding Springer page? etaps.org/2025/program...

Oh, and Saturday is the first day of lunch roulette! To join and meet new people, just come to the lunch tables reserved for the roulette, where a student volunteer will assign you to a table. (Contrary to the picture, the roulette wheel will select who you sit with, not what you eat..)

1 more sleep until ETAPS! Kicking off tomorrow with workshops on learning in verification, reproducibility in research, trusted automated decision making and day 1 of the VerifyThis competition.

Wait 3 weeks, and 2 blog posts come along at once.. ETAPS invited speaker, Arun Ross, talks about biometrics and AI: etaps.org/blog/033-aru... Intruiged? Come to his tutorial at 4pm on Tuesday 6th May

Attending ETAPS? We've published a new blog with some Hamilton tourism tips here: etaps.org/blog/032-ham... (You can also find guidance on how to get to McMaster University here: etaps.org/2025/attendi...)