ETAPS Joint Call for Papers Copenhagen, Denmark, April 10–15, 2027

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/

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 is giving an invited talk

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

Sebastian Junges speaks in a Spin session

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

Guy van den Broeck is giving a talk

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!

Eva Darulova gives a talk

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

Monika Henzinger gives a talk

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

AMA panelists under a welcome slide

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 gives a talk

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

Leo de Moura giving a talk

Leo de Moura is giving his invited tutorial about LEAN!

Congratulations to the winners of the VerifyThis Competition!

Luigia Petre giving a talk

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

Christel Baier is giving her keynote talk

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

A talk of the ETAPS Mentoring Workshop.

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

Programme – Satellite Events Programme of satellite events during the weekend.

ETAPS weekend workshops have just started in Turin! Fifteen events take place over Saturday and Sunday.

etaps.org/2026/program...

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

The Weather in Australia Is Beautiful, the Kangaroos Are TACAS Interview with Guy van den Broeck, a keynote speaker of ETAPS 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 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...

Differential Privacy Over Time Interview with Monika Henzinger, a keynote speaker of ETAPS 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.

Differential Privacy Over Time Interview with Monika Henzinger, a keynote speaker of ETAPS 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...

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

New blog post!

Peter Mueller and Rustan Leino talk about their 2025 Test of Time Award

[1] etaps.org/blog/045-tot...

From SMT Solvers to Lean and the Future of Automated Reasoning Interview with Leo De Moura about his career and his work on Lean.

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

ETAPS 2026 in Turin, Italy Learn about the ETAPS 2026 host city and the venue!

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

Model Checking Goes Spatial with Mieke Massink Interview with the Mieke Massink about her research.

New Blog Post Alert!

Model Checking Goes Spatial with Mieke Massink:
etaps.org/blog/041-mie...

Test of Time Award Award given to outstanding papers published at ETAPS more than ten years ago.

The call for nominations for the ETAPS Test of Time Award is now open!
etaps.org/awards/test-...

Turin, Italy ETAPS – Joint Conference on theory and practice of software

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

CBMC: Software Verification from Bug Finding to Proofs of Correctness Interview with the winners of the ETAPS Test of Time Tool Award 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 Mentoring Workshop 2025 Interview with two attendees of the ETAPS mentoring workshop.

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