ETAPS Blog

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

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!

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

Join us!