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.

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

Embracing Uncertainty in Verification and Control

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

etaps.org

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)

Call for ETAPS 2027 satellite events is out! Apply by June 26! etaps.org/2027/sat-eve...

Call For Satellite Events

ETAPS 2027, Copenhagen, Denmark, April 10–15, 2027

etaps.org

New blog post about the Diversity, Equity, and Inclusion session held at ETAPS 2026 is out! etaps.org/blog/048-dei...

Diversity, Equity, and Inclusion: The Importance of Belonging

Report on the Diversity, Equity and Inclusion session held at ETAPS 2026 in Turin.

etaps.org

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

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 Joint Call for Papers

Copenhagen, Denmark, April 10–15, 2027

etaps.org

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!

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

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

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

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

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

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

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.

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

Leo de Moura is giving his invited tutorial about LEAN!

Congratulations to the winners of the VerifyThis Competition!

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

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

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

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

Programme – Satellite Events

Programme of satellite events during the weekend.

etaps.org

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

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

The Weather in Australia Is Beautiful, the Kangaroos Are TACAS

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

etaps.org

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

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

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.

Differential Privacy Over Time

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

etaps.org

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

Differential Privacy Over Time

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

etaps.org

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

Inhale, Exhale, Verify

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

etaps.org

The future of automated reasoning? Leo de Moura has the answers (maybe), in our latest blog post: etaps.org/blog/043-leo...

From SMT Solvers to Lean and the Future of Automated Reasoning

Interview with Leo De Moura about his career and his work on Lean.

etaps.org