Section: Highlights of the Year

Highlights of the Year

• S. Conchon has co-organized POPL'2017 (January, Paris, http://conf.researchr.org/home/POPL-2017).

• C. Marché has co-organized the first joint Frama-C/SPARK day (May, Paris, http://frama-c.com/FCSD17.html), in the context of the Open Source Innovation Spring (http://www.open-source-innovation-spring.org/).

• S. Boldo and G. Melquiond have published a book: Computer Arithmetic and Formal Proofs, Verifying Floating-point Algorithms with the Coq System [32].

Awards

• M. Pereira and R. Rieu-Helft received the "Best student team" award, and J.-C. Filliâtre the "Best overall team" award, at the VerifyThis@ETAPS2017 verification competition.