ETAPS conferences
@etapsconf.bsky.social
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 2026: April 11 - 16, Turin, Italy
https://etaps.org/
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...
etaps.org/blog/040-tot...
CBMC: Software Verification from Bug Finding to Proofs of Correctness
Interview with the winners of the ETAPS Test of Time Tool Award 2025.
etaps.org
November 20, 2025 at 10:08 AM
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...
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...
etaps.org/blog/039-emw...
ETAPS Mentoring Workshop 2025
Interview with two attendees of the ETAPS mentoring workshop.
etaps.org
November 6, 2025 at 3:05 PM
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...
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
etaps.org/2026/cfp/
#etaps #etapsconf #etaps2026
ETAPS Joint Call for Papers
Turin, Italy, April 11–16, 2026
etaps.org
October 13, 2025 at 11:00 AM
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
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...
etaps.org/2026/speaker...
September 24, 2025 at 12:29 PM
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...
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...
September 10, 2025 at 4:40 PM
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...
etaps.org/blog/037-kev...
August 21, 2025 at 10:04 AM
New blog post: an interview with Kevin Batz, winner of the ETAPS 2025 dissertation award.
etaps.org/blog/037-kev...
etaps.org/blog/037-kev...
Should we be worried about AI? A new blog post with Phil Wadler: etaps.org/blog/036-phi...
Brave New Bullshit with Phil Wadler
Professor Philip Wadler on the hopes and threats of AI.
etaps.org
August 8, 2025 at 12:28 PM
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/
etaps.org/2026/speakers/
Invited Speakers
Unifying speakers and invited speakers of ETAPS conferences.
etaps.org
July 23, 2025 at 8:23 AM
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/
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...
etaps.org/blog/035-eun...
Building Resilience in Academia
Eunsuk Kang on resilience in academia.
etaps.org
June 20, 2025 at 8:02 AM
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...
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.org/blog/034-yot...
Yotam Feldman, winner of the 2024 ETAPS dissertation award, talks about his PhD research.
On the Theory of Learning Invariants
Interview with Yotam Feldman, the winner of the 2024 ETAPS Doctoral Dissertation Award.
etaps.org
June 6, 2025 at 3:04 PM
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.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
Get your papers ready for October for ESOP (round 2), TACAS, FoSSaCs and FASE
June 4, 2025 at 8:43 AM
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
Get your papers ready for October for ESOP (round 2), TACAS, FoSSaCs and FASE
A few last announcements from ETAPS 2025
May 23, 2025 at 4:40 PM
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
etaps.community/association/...
Photo credit: Natasha Lawford
May 19, 2025 at 10:36 AM
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
etaps.community/association/...
Photo credit: Natasha Lawford
Congratulations to all the award winners!
May 9, 2025 at 1:59 AM
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!
May 8, 2025 at 10:54 PM
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
Photo credits 📸: Natasha Lawford
May 8, 2025 at 6:27 PM
A few moments from last night's ETAPS 2025 banquet. Award photos coming soon!
Photo credits 📸: Natasha Lawford
Photo credits 📸: Natasha Lawford
The final invited talk of ETAPS 2025 is just in progress. Matt Dwyer talks about validation of machine learning models.
May 8, 2025 at 4:40 PM
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.
May 8, 2025 at 4:22 PM
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
Photo credits 📸: Natasha Lawford
May 8, 2025 at 3:56 PM
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
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
May 8, 2025 at 2:49 PM
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.
May 8, 2025 at 1:34 PM
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)
May 8, 2025 at 1:20 PM
(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)
Peter Müller (ESOP)
Naoki Kobayashi (fossacs)
Andrian Rutle (FASE)
Alan Hu (Tacas)
May 8, 2025 at 1:19 PM
And the best reviewer awards go to:
Peter Müller (ESOP)
Naoki Kobayashi (fossacs)
Andrian Rutle (FASE)
Alan Hu (Tacas)
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
May 8, 2025 at 1:18 PM
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
May 8, 2025 at 1:18 PM
The test of time award goes to A Basis for Verifying Multi-threaded Programs by Rustan Leino and Peter Mueller, published at ESOP 2009