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
POPL 2025 profile
Registered user since Sun 13 Jan 2019
Name:
Georges Gonthier
Affiliation:
Inria
Contributions
2025
CPP
Committee Member in Steering Committee within the CPP 2025-track
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 21 Nov 11:59