ETAPS Blog

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

rseconf.jpg

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.

david-monniaux.jpg

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.

lars-birkedal.jpg

Separation Logic And Beyond

by Georgiana Caltais — 20 March 2024

Interview with Lars Birkedal about his research in program verification.

old-town1.jpg

ETAPS 2024 in Luxembourg City

by Isana Nascimento — 21 February 2024

Learn about this-year's ETAPS venue!

sandrine-blazy.jpg

On Mechanized Semantics for Verified Compilation

by Eduard Kamburjan — 19 January 2024

Interview with Sandrine Blazy on verified compilation.

gordon-shaw-blair.jpg

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.jpg

ETAPS Industry Day

by Andrzej Wąsowski and Nikolai Kosmatov — 20 December 2023

The first ETAPS Industry day takes place in 2024!

joost-pieter-katoen.jpg

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.

andre-platzer.jpg

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.

pnp.jpg

Interview with Orna Kupferman

by Georgiana Caltais — 19 September 2023

Interview with Orna Kupferman about her career.

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

Join us!