Diversity, Equity, and Inclusion: The Importance of Belonging
by Viviana Bono — 30 April 2026
Report on the Diversity, Equity and Inclusion session held at ETAPS 2026 in Turin.
The Weather in Australia Is Beautiful, the Kangaroos Are TACAS
by Elizabeth Polgreen — 10 April 2026
Interview with Guy van den Broeck, a keynote speaker of ETAPS 2026.
Differential Privacy Over Time
by Martin Tappler — 1 April 2026
Interview with Monika Henzinger, a keynote speaker of ETAPS 2026.
Inhale, Exhale, Verify
by Benjamin Kaminski — 25 March 2026
Interview with Peter Müller and Rustan Leino, the winners of the ETAPS Test of Time Award.
People of ETAPS
by Elizabeth Polgreen — 20 March 2026
Look back to the best bits of ETAPS 2025.
From SMT Solvers to Lean and the Future of Automated Reasoning
by Nicola Gigante — 10 March 2026
Interview with Leo De Moura about his career and his work on Lean.
ETAPS 2026 in Turin, Italy
by Maria Tacconi — 20 February 2026
Learn about the ETAPS 2026 host city and the venue!
Model Checking Goes Spatial with Mieke Massink
by Martin Tappler — 23 January 2026
Interview with Mieke Massink about her research.
CBMC: Software Verification from Bug Finding to Proofs of Correctness
by Sebastian Junges — 20 November 2025
Interview with the winners of the ETAPS Test of Time Tool Award 2025.
ETAPS Mentoring Workshop 2025
by Elizabeth Polgreen — 6 November 2025
Interview with two attendees of the ETAPS mentoring workshop.