Prix La Recherche 2018 / La Recherche 2018 Awards
Amina Doumane (team : Plume), for her work on Constructive completeness for the linear-time μ-calculus. Read the article. |
Michaël Rao (team : MC2), for his work on Exhaustive search of convex pentagons which tile the planel. Read the article. |