ETAPS ConferencesA few last announcements from ETAPS 2025
We're pleased to announce Laura Kovacs has been elected as the new president of the ETAPS steering committee. Thank you to Marieke Huisman for all her work over the last few years.
Jan Kofron has been elected as the first ETAPS fellow
Finally, results of the VerifyThis competition are up: https://www.pm.inf.ethz.ch/research/verifythis/Prizes.html
