conf.researchr.org / Olivier Laurent

Registered user since Sun 6 Dec 2020

Name:Olivier Laurent
Country:France
Affiliation:CNRS & ENS Lyon
Personal website:https://perso.ens-lyon.fr/olivier.laurent/

Contributions

CPP 2021 Author of An Anti-Locally-Nameless Approach to Formalizing Quantifiers within the CPP 2021-track
FOSSACS 2019 Author of Resource-Tracking Concurrent Games within the FOSSACS 2019-track
GaLoP 2019 Committee Member in Steering Committee within the GaLoP-track