iiinova — where your digital self keeps evolving

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

Submission deadlines for the main ETAPS conferences are just a month ahead! Consider to submit your latest research to ESOP, iFM, FoSSaCS and TACAS! etaps.org/2027/cfp/

etaps.org

ETAPS Joint Call for Papers

Copenhagen, Denmark, April 10–15, 2027

000

ETAPS conferences @etapsconf.bsky.social · 02/09/2026

Ahead of the first edition of iFS at ETAPS 2027, our latest blog is an interview with Wolfgang Ahrendt and Marie-Christine Jakobs, the steering committee chairs. They discuss the merger of iFM and FASE into iFS, and what they envision for the new conference: etaps.org/blog/051-ifs/

etaps.org

iFM + FASE = iFS

Interview with Wolfgang Ahrendt and Marie-Christine Jakobs about the merger of FASE and iFM.

002

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 · 19/07/2026

Interview with Thom Badings, the winner of 2026 ETAPS Doctoral Dissertation Award is out! Don't miss it! etaps.org/blog/thom-ba...

etaps.org

Embracing Uncertainty in Verification and Control

Interview with Thom Badings, winner of the 2026 ETAPS Doctoral Dissertation Award.

010

ETAPS conferences @etapsconf.bsky.social · 19/06/2026

Missed the Ask Me Anything at ETAPS? Check out our latest blog summarising the session: etaps.org/blog/049-ama... Also, if you're interested in joining the ETAPS blog team, email Marieke Huisman (m dot huisman at utwente dot nl) or Jan Kofroň (jan dot kofron at d3s.mff.cuni.cz)

etaps.org

Conference Rankings, Transparency, and Community

Report on the Ask-Me-Anyting session held at ETAPS 2026 in Turin.

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 · 21/04/2026

The ETAPS 2027 Joint Call for Papers is out! Check the deadlines, especially the first ESOP submission deadline set to May 28, 2026! etaps.org/2027/cfp/

etaps.org

ETAPS Joint Call for Papers

Copenhagen, Denmark, April 10–15, 2027

001

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 · 11/04/2026

ETAPS weekend workshops have just started in Turin! Fifteen events take place over Saturday and Sunday. etaps.org/2026/program...

etaps.org

Programme – Satellite Events

Programme of satellite events during the weekend.

000

Reposted by ETAPS conferences

Diego Marmsoler @dmarmsoler.bsky.social · 11/04/2026

The 7th edition of #FMBC is kicking off in Turin as part of @etapsconf.bsky.social with a keynote of Jochen Hoenicke from Certora

001

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

What can formal methods do for LLMs? And what have kangaroos got to do with anything? Guy Van den Broeck promises us all the answers in this year's TACAS keynote. For a preview, check out the latest blog post: etaps.org/blog/047-guy...

etaps.org

The Weather in Australia Is Beautiful, the Kangaroos Are TACAS

Interview with Guy van den Broeck, a keynote speaker of ETAPS 2026.

000

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 · 07/04/2026

Blog blog blog! etaps.org/blog/046-mon... Monika Henzinger is the ETAPS 2026 unifying speaker. Get your sneak peek of what she'll be talking about in our latest blog.

etaps.org

Differential Privacy Over Time

Interview with Monika Henzinger, a keynote speaker of ETAPS 2026.

000

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

Do not miss our latest blog post – an interview with an ETAPS keynote speaker Monika Henzinger about differential privacy! etaps.org/blog/046-mon...

etaps.org

Differential Privacy Over Time

Interview with Monika Henzinger, a keynote speaker of ETAPS 2026.

000

ETAPS conferences @etapsconf.bsky.social · 26/03/2026

New blog post! Peter Mueller and Rustan Leino talk about their 2025 Test of Time Award [1] etaps.org/blog/045-tot...

etaps.org

Inhale, Exhale, Verify

Interview with Peter Müller and Rustan Leino, the winners of the ETAPS Test of Time Award.

020

ETAPS conferences @etapsconf.bsky.social · 23/02/2026

Just a few more weeks until the early registration deadline (March 10th), so time to start planning your travel (if you haven't already), and reading our ETAPS blog on Turin: etaps.org/blog/042-tur...

etaps.org

ETAPS 2026 in Turin, Italy

Learn about the ETAPS 2026 host city and the venue!

000

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

Information about the ETAPS 2026 venue is now up on the website: etaps.org/2026/attendi...

etaps.org

Turin, Italy

ETAPS – Joint Conference on theory and practice of software

000

ETAPS conferences @etapsconf.bsky.social · 20/11/2025

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

CBMC: Software Verification from Bug Finding to Proofs of Correctness

Interview with the winners of the ETAPS Test of Time Tool Award 2025.

010

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

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

ETAPS Mentoring Workshop 2025

Interview with two attendees of the ETAPS mentoring workshop.

000

ETAPS conferences @etapsconf.bsky.social · 13/10/2025

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

ETAPS Joint Call for Papers

Turin, Italy, April 11–16, 2026

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 · 10/09/2025

SPIN and the Rust Verification Workshop both officially confirmed to be co-located with ETAPS next year. More info here: etaps.org/2026/colloca...

000

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 · 23/07/2025

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

Invited Speakers

Unifying speakers and invited speakers of ETAPS conferences.

010

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

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

Building Resilience in Academia

Eunsuk Kang on resilience in academia.

010

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

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

On the Theory of Learning Invariants

Interview with Yotam Feldman, the winner of the 2024 ETAPS Doctoral Dissertation Award.

052

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

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

010

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

Jan Kofron has been elected as the first ETAPS fellow

000

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

We're pleased to announce Laura Kovacs has been elected as the new president of the ETAPS steering committee. Thank you to Marieke Huisman for all her work over the last few years.

110

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

A few last announcements from ETAPS 2025

100