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
| CPP 2018 | Committee Member in Program Committee within the CPP 2018-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2018-profile
View general profile
View general profile