Section: Highlights of the Year

Highlights of the Year

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

  • Major Int. Conference on Foundations of Programming Language, Semantics, Type Systems, Formal Proof Techniques

Awards

• [April 2016] Martin Clochard, Léon Gondelman, Mário Pereira: jointly receive the "Best student team" award of the VerifyThis@ETAPS2016 verification competition

• [July 2016] S. Boldo: Best Talk Award at workshop NSV Computing a correct and tight rounding error bound using rounding-to-nearest