• Sign in
  • Sign up
conf.researchr.org / Hugo Herbelin
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2022 profile
  • POPL 2023 profile

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

Share
xTue 5 Jul 21:02
using conf.researchr.org (v1.56.1)
Support page
Sign Up