• Sign in
  • Sign up
conf.researchr.org / Olivier Laurent
  • ETAPS 2019 profile
  • POPL 2021 profile

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

2021

CPP

  • Author of An Anti-Locally-Nameless Approach to Formalizing Quantifiers within the CPP 2021-track

2019

FOSSACS

  • Author of Resource-Tracking Concurrent Games within the FOSSACS 2019-track

GaLoP

  • Committee Member in Steering Committee within the GaLoP-track
Share
xSat 19 Jul 13:47
using conf.researchr.org (v1.69.1)
Support page
Sign Up