Read the latest articles on topics you might be interested in, whether related to the ETAPS conferences or other topics.


On The Long-Run Development of Formal Verification Tools

by Marieke Huisman and Bettina Könighofer — 24 July 2023

Interview with Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe—the winners of the ETAPS Test-of-Time Tool Award.


On Correct CPS Systems

by Bettina Könighofer — 27 June 2023

Interview with Kaushik Mallik, the winner of ETAPS Doctoral Dissertation Award.


Exploring the Journey of Academia to Industry and Back Again

by Georgiana Caltais — 22 May 2023

Interview with Mooly Sagiv, founder of Certora and Chair of Software Systems, School of Computer Science, Tel Aviv University.


Software as Research Infrastructure

by Reiner Hähnle — 25 April 2023

On sustainability of software research infrastructure.


A Glimpse Into Performance Engineering

by Georgiana Caltais — 17 April 2023

Interview with Ana-Lucia Varbanescu, performance engineer and professor at University of Twente.


From Static to Runtime Verification

by Bettina Könighofer — 20 March 2023

Interview with Thomas Henzinger, professor at the Institute of Science and Technology Austria (ISTA).


Navigating and Discovering Career Paths for Young Researchers

by Eduard Kamburjan — 20 March 2023

Interview with the Organizers of the ETAPS mentoring workshop 2023.


On Program Comprehension

by Benjamin Kaminski — 27 February 2023

Interview with Sven Apel, Professor of Computer Science at Saarland University, Germany, leader of Software Engineering group.


Theory and Practice, Outreach and Teaching in Electronic Voting

by Eduard Kamburjan — 20 January 2023

Interview with Véronique Cortier, CNRS research director at the LORIA laboratory in Nancy, France.


ETAPS: A Conference Or A Community?

by Marieke Huisman — 19 January 2023

Opening blog post from the chair of the ETAPS association and ETAPS SC, Marieke Huisman.

Do not want to miss any future post? Become a member of the ETAPS Association!

Join us!