Read the latest articles on topics you might be interested in, whether related to the ETAPS conferences or other topics.
by Georgiana Caltais — 20 March 2024
Interview with Lars Birkedal about his research in program verification.
by Isana Nascimento — 21 February 2024
Learn about this-year's ETAPS venue!
by Eduard Kamburjan — 19 January 2024
Interview with Sandrine Blazy on verified compilation.
by Eduard Kamburjan — 21 December 2023
Interview with Gordon Shaw Blair about relation of computer and environmental sciences.
by Andrzej Wąsowski and Nikolai Kosmatov — 20 December 2023
The first ETAPS Industry day takes place in 2024!