Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
POPL 2020 (series) / Xavier Leroy
Xavier Leroy

Registered user since Thu 19 Oct 2017

Name:Xavier Leroy
Country:France
Affiliation:Collège de France
Personal website:https://xavierleroy.org/

Contributions

PLMW 2020 Invited Speaker in Invited speakers within the PLMW 2020-track
Theorem provers are a P.L. researcher's best friend
POPL 2020 Panelist in Panel within the POPLmark 15 Year Retrospective Panel-track
Show activities from other conferences

POPL 2020-profile
View general profile