ETAPS Blog
Read the latest articles on topics you might be interested in, whether related to the ETAPS conferences or other topics.
On Mechanized Semantics for Verified Compilation
by Eduard Kamburjan — 19 January 2024
Interview with Sandrine Blazy on verified compilation.
Software For The Environmental Sciences
by Eduard Kamburjan — 21 December 2023
Interview with Gordon Shaw Blair about relation of computer and environmental sciences.
ETAPS Industry Day
by Andrzej Wąsowski and Nikolai Kosmatov — 20 December 2023
The first ETAPS Industry day takes place in 2024!
On Research with Joost-Pieter Katoen
by Benjamin Kaminski — 20 November 2023
Interview with Joost-Pieter Katoen, a former president of ETAPS, on his research.
On The Relationship of AI And Programs
by Eduard Kamburjan — 20 October 2023
Interview with André Platzer, Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems at Karlsruhe Institute of Technology.
Interview with Orna Kupferman
by Georgiana Caltais — 19 September 2023
Interview with Orna Kupferman about her career.
Reproduce, Recombine, Retain
by Eduard Kamburjan — 21 August 2023
Interview with Dirk Beyer, the winner of the ETAPS Test Of Time Award 2023.
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.