Blogs >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom

Not registered as user yet

Name: Jean-Christophe Filliatre

Affiliation: CNRS, Paris, France

Personal website: https://www.lri.fr/~filliatr/#

ICFP 2017 Activities