iiinova — where your digital self keeps evolving

ETAPS conferences @etapsconf.bsky.social · 22/07/2026

Due to the shutdown of mastodon.education, ETAPS has moved to a new Mastodon account: mastodon.social/@ETAPSconf Please follow us here for the latest ETAPS news, announcements, and updates. We would appreciate boosts to help our community find the new account.

000

ETAPS conferences @etapsconf.bsky.social · 27/04/2026

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

000

ETAPS conferences @etapsconf.bsky.social · 20/04/2026

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!

000

ETAPS conferences @etapsconf.bsky.social · 16/04/2026

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

010

ETAPS conferences @etapsconf.bsky.social · 16/04/2026

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

Sebastian Junges speaks in a Spin session

000

ETAPS conferences @etapsconf.bsky.social · 16/04/2026

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

000

ETAPS conferences @etapsconf.bsky.social · 15/04/2026

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

020

ETAPS conferences @etapsconf.bsky.social · 15/04/2026

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

010

ETAPS conferences @etapsconf.bsky.social · 15/04/2026

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

010

ETAPS conferences @etapsconf.bsky.social · 14/04/2026

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.

010

ETAPS conferences @etapsconf.bsky.social · 14/04/2026

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

000

ETAPS conferences @etapsconf.bsky.social · 13/04/2026

Leo de Moura is giving his invited tutorial about LEAN!

000

ETAPS conferences @etapsconf.bsky.social · 13/04/2026

Congratulations to the winners of the VerifyThis Competition!

020

ETAPS conferences @etapsconf.bsky.social · 13/04/2026

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

010

ETAPS conferences @etapsconf.bsky.social · 13/04/2026

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

Christel Baier is giving her keynote talk

020

ETAPS conferences @etapsconf.bsky.social · 11/04/2026

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...

010

ETAPS conferences @etapsconf.bsky.social · 10/04/2026

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

000

ETAPS conferences @etapsconf.bsky.social · 10/04/2026

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

000

ETAPS conferences @etapsconf.bsky.social · 24/09/2025

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...

010

ETAPS conferences @etapsconf.bsky.social · 21/08/2025

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

000

ETAPS conferences @etapsconf.bsky.social · 19/05/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

000

ETAPS conferences @etapsconf.bsky.social · 09/05/2025

Congratulations to all the award winners!

040

ETAPS conferences @etapsconf.bsky.social · 08/05/2025

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!

Marieke Huisman is closing the conference, the city of Torino is shown on the slide above her.

010

ETAPS conferences @etapsconf.bsky.social · 08/05/2025

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

021

ETAPS conferences @etapsconf.bsky.social · 08/05/2025

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

010

ETAPS conferences @etapsconf.bsky.social · 08/05/2025

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

000

ETAPS conferences @etapsconf.bsky.social · 08/05/2025

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

010

ETAPS conferences @etapsconf.bsky.social · 07/05/2025

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

010

ETAPS conferences @etapsconf.bsky.social · 07/05/2025

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!

020

ETAPS conferences @etapsconf.bsky.social · 06/05/2025

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

020

ETAPS conferences @etapsconf.bsky.social · 06/05/2025

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

020

ETAPS conferences @etapsconf.bsky.social · 05/05/2025

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!

010

ETAPS conferences @etapsconf.bsky.social · 05/05/2025

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

000

ETAPS conferences @etapsconf.bsky.social · 05/05/2025

Starting off the morning after our first keynote speaker #ETAPS2025

000

ETAPS conferences @etapsconf.bsky.social · 05/05/2025

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

040

ETAPS conferences @etapsconf.bsky.social · 05/05/2025

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

Photo of Ina Schaefer talking behind a speaker desk.

040

ETAPS conferences @etapsconf.bsky.social · 03/05/2025

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

000

ETAPS conferences @etapsconf.bsky.social · 02/05/2025

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..)

Roulette wheel selecting different foods

010

ETAPS conferences @etapsconf.bsky.social · 25/03/2025

New blog alert: Ina Schaefer talks X-by-construction, and a surprising book recommendation etaps.org/blog/031-ina...

000

ETAPS conferences @etapsconf.bsky.social · 03/03/2025

We've posted a new blog, with Don Sannella talking about the history of ETAPS: buff.ly/v1vrp2M

010

ETAPS conferences @etapsconf.bsky.social · 17/01/2025

Have you seen our line-up of invited speakers for ETAPS 2025? 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

130