Section: Highlights of the Year

Highlights of the Year

• J.-C. Filliâtre served as judge at the ICPC regional programming contests SWERC 2017 and 2018. These two editions were organized in Paris and gathered each year 80 teams of three students from universities and schools from South-West Europe. https://swerc.eu/

• The 2nd edition of the Handbook of Floating-Point arithmetic was published [28]

Awards

• R. Rieu-Helft received the "Student Gold Medal" award, and J.-C. Filliâtre the "Best challenge submitted" award, at the VerifyThis@ETAPS2018 verification competition http://www.pm.inf.ethz.ch/research/verifythis/Prizes.html