Hugo Herbelin -

Registered user since Sat 22 Jan 2022

Name:Hugo Herbelin

Contributions

POPL 2023	Committee Member in Program Committee within the POPL-track
CoqPL 2022	Speaker of Session with the Coq Development Team within the CoqPL-track
POPL 2019	Committee Member in Program Committee within the Research Papers-track
CoqPL 2018	Committee Member in Program Committee within the -track
TTT 2017	Session Chair of Second Afternoon Session (part of TTT) Author of Coq's Prolog and application to defining semi-automatic tactics within the TTT-track