ETAPS Blog
Read the latest articles on topics you might be interested in, whether related to the ETAPS conferences or other topics.
On the Future of Reactive Synthesis and Why Academia is like Sports
by Bettina Könighofer — 21 October 2024
Interview with Roderick Bloem.
Training or Education? Three Perspectives on Computer Science Teaching
by Eduard Kamburjan — 23 September 2024
First part of the interview with Felienne Hermans.
Research Methods and Software Maintenance
by Eduard Kamburjan — 2 September 2024
Interview with Jurgen Vinju about schools of thoughts.
Courage in Research
by Georgiana Caltais — 1 August 2024
Interview with Luca Cardelli and Andrew D. Gordon, winners of the ETAPS 2024 Test-of-Time Award.
Diversity, Equality and Inclusion at ETAPS
by Leona Odole — 27 June 2024
Summary of the DEI session organised at ETAPS 2024.
Software Engineers as Research Infrastructure
by John Fitzgerald and Mark Turner — 22 May 2024
John Fitzgerald and Mark Turner on the role of software engineers in computer science research.
Bringing Formal Methods to the "Average Programmer"
by Benjamin Kaminski — 5 April 2024
Interview with David Monniaux on machine learning and software synthesis and verification.
Separation Logic And Beyond
by Georgiana Caltais — 20 March 2024
Interview with Lars Birkedal about his research in program verification.
ETAPS 2024 in Luxembourg City
by Isana Nascimento — 21 February 2024
Learn about this-year's ETAPS venue!
On Mechanized Semantics for Verified Compilation
by Eduard Kamburjan — 19 January 2024
Interview with Sandrine Blazy on verified compilation.