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.
A Few Words From New ETAPS President
by Laura Kovács — 18 September 2025
Laura Kovács on her new role as ETAPS president and steering committee chair.
On the ETAPS 2025 Dissertation Award
by Sebastian Junges — 20 August 2025
Interview with Kevin Batz, the ETAPS 2025 Dissertation Award Winner.
Brave New Bullshit with Phil Wadler
by Elizabeth Polgreen — 8 August 2025
Professor Philip Wadler on the hopes and threats of AI.
Building Resilience in Academia
by Elizabeth Polgreen — 19 June 2025
Eunsuk Kang on resilience in academia.
On the Theory of Learning Invariants
by Martin Tappler — 3 June 2025
Interview with Yotam Feldman, the winner of the 2024 ETAPS Doctoral Dissertation Award.