POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Laurent Théry

Registered user since Wed 19 Apr 2017

Name:Laurent Théry
Bio:

Researcher at INRIA

Country:France
Affiliation:INRIA
Personal website: http://www-sop.inria.fr/marelle/Laurent.Thery/me.html
Research interests:Theorem Proving, Formal Mathematics

Contributions

Show activities from other conferences

POPL 2018-profile
View general profile