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
POPL 2024 profile
Registered user since Sun 13 Jan 2019
Name:
Georges Gonthier
Affiliation:
Inria
Contributions
2024
CPP
Steering Committee Member in Steering Committee within the CPP 2024-track
2023
CPP
Committee Member in Steering Committee within the CPP 2023-track
2022
CPP
Committee Member in Steering Committee within the CPP 2022-track
2021
CPP
Steering Committee Member in Steering Committee within the CPP 2021-track
2019
CPP
Session Chair of Research Papers: Formalization of Mathematics and Computer Algebra (part of CPP 2019)
Share
x
Thu 28 Mar 14:09