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/
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...
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...
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.
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
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.
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
Photo credits 📸: Natasha Lawford
May 7, 2025 at 3:37 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
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!
May 7, 2025 at 3:08 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!
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
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
May 6, 2025 at 3:05 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
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
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!
May 5, 2025 at 5:57 PM
Lunch break: great networking over excellent food at ETAPS 2025!
Starting off the morning after our first keynote speaker #ETAPS2025
May 5, 2025 at 5:33 PM
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
May 5, 2025 at 4:18 PM
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!
May 5, 2025 at 1:24 PM
Ina Schaefer is giving the first keynote talk at this year's ETAPS on correctness by construction!
The main conference starts today
May 5, 2025 at 12:57 PM
The main conference starts today
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
Discover the ETAPS Poster Book 2025, showcasing vibrant research and ideas. Explore posters at etaps.org/2025/posters/!
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..)
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
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..)
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..)
New blog alert: Ina Schaefer talks X-by-construction, and a surprising book recommendation
etaps.org/blog/031-ina...
etaps.org/blog/031-ina...
March 25, 2025 at 5:40 PM
New blog alert: Ina Schaefer talks X-by-construction, and a surprising book recommendation
etaps.org/blog/031-ina...
etaps.org/blog/031-ina...
We've posted a new blog, with Don Sannella talking about the history of ETAPS:
buff.ly/v1vrp2M
buff.ly/v1vrp2M
March 3, 2025 at 10:16 PM
We've posted a new blog, with Don Sannella talking about the history of ETAPS:
buff.ly/v1vrp2M
buff.ly/v1vrp2M
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
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
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
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