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.
Biometrics and AI
by Georgiana Caltais — 22 April 2025
Interview with Arun Ross about current challenges in biometrics.
ETAPS 2025 in Hamilton, Canada
by Federico Formica — 22 April 2025
Learn about the ETAPS 2025 host city and university!
Ina Schaefer on X-by-Construction
by Benjamin Kaminski — 25 March 2025
Interview with Ina Schaefer about her research.