Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Georges Gonthier
conf.researchr.org general profile
POPL 2019 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
Registered user since Sun 13 Jan 2019
Name:
Georges Gonthier
Affiliation:
Inria
Contributions
CPP 2023
Committee Member in Steering Committee within the CPP 2023-track
CPP 2022
Committee Member in Steering Committee within the CPP 2022-track
CPP 2021
Steering Committee Member in Steering Committee within the CPP 2021-track
CPP 2019
Session Chair of Research Papers: Formalization of Mathematics and Computer Algebra (part of CPP 2019)
Share
x
Fri 12 Aug 11:42