ETAPS conferences
banner
etapsconf.bsky.social
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/
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...
September 24, 2025 at 12:29 PM
New blog post: an interview with Kevin Batz, winner of the ETAPS 2025 dissertation award.
etaps.org/blog/037-kev...
August 21, 2025 at 10:04 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
May 19, 2025 at 10:36 AM
Congratulations to all the award winners!
May 9, 2025 at 1:59 AM
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
A few moments from last night's ETAPS 2025 banquet. Award photos coming soon!
Photo credits 📸: Natasha Lawford
May 8, 2025 at 6:27 PM
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
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
May 8, 2025 at 3:56 PM
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
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
May 7, 2025 at 3:37 PM
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!
May 7, 2025 at 3:08 PM
A wonderful talk from our keynote speaker this morning, José Meseguer, on 'Capturing System Designs with Formal Executable Specifications.' Thank you! #ETAPS2025 #McSCert
May 6, 2025 at 3:34 PM
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
May 6, 2025 at 3:05 PM
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!
May 5, 2025 at 8:18 PM
Lunch break: great networking over excellent food at ETAPS 2025!
May 5, 2025 at 5:57 PM
Starting off the morning after our first keynote speaker #ETAPS2025
May 5, 2025 at 5:33 PM
Great audience interest for Ina Schaefer's opening ETAPS keynote presentation "Correctness-by-Construction—Past, Present and Future" #ETAPS2025 #McSCert
May 5, 2025 at 4:18 PM
Ina Schaefer is giving the first keynote talk at this year's ETAPS on correctness by construction!
May 5, 2025 at 1:24 PM
The main conference starts today
May 5, 2025 at 12:57 PM
Discover the ETAPS Poster Book 2025, showcasing vibrant research and ideas. Explore posters at etaps.org/2025/posters/!
May 3, 2025 at 9:27 PM
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..)
May 2, 2025 at 6:41 PM
New blog alert: Ina Schaefer talks X-by-construction, and a surprising book recommendation

etaps.org/blog/031-ina...
March 25, 2025 at 5:40 PM
We've posted a new blog, with Don Sannella talking about the history of ETAPS:
buff.ly/v1vrp2M
March 3, 2025 at 10:16 PM
Have you seen our line-up of invited speakers for ETAPS 2025?
https://buff.ly/4alglYS

Unifying speakers: Matthew B. Dwyer, Ina Schaefer
ESOP invited speaker: Amal Ahmed
FASE invited speaker: José Meseguer
Tutorial speakers: Suguman Bansal, Arun Ross
January 17, 2025 at 5:40 PM