Georges Gonthier -

Registered user since Sun 13 Jan 2019

Name:Georges Gonthier

Affiliation:Inria

Contributions

2027

CPP

Author in Steering Committee within the CPP 2027-track

2026

CPP

Committee Member in Steering Committee within the CPP 2026-track

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)