ETAPS Blog
Read the latest articles on topics you might be interested in, whether related to the ETAPS conferences or other topics.
Ina Schaefer on X-by-Construction
by Benjamin Kaminski — 25 March 2025
Interview with Ina Schaefer about her research.
How and Why ETAPS Started
by Don Sannella — 28 February 2025
Excursion to the history of ETAPS.
A Lifetime of Algorithms
by Eduard Kamburjan — 28 January 2025
Interview with Prof. Dr. Bernhard Steffen on the occasion of receiving the ETAPS Lifetime Award.
Competitions of Research Tools: Just for the Fun or Scientific Method?
by Marieke Huisman — 23 December 2024
Interview with the three organizers of competitions, Dirk Beyer, Arnd Hartmanns, and Fabrice Kordon.
Culture, Diversity, Cultural Diversity
by Eduard Kamburjan — 20 November 2024
Second part of the interview with Felienne Hermans.
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.