• Sign in
  • Sign up
conf.researchr.org / Damien Pous
  • ETAPS 2019 profile
  • POPL 2017 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • POPL 2023 profile
Damien Pous

Registered user since Thu 23 Jun 2016

Name:Damien Pous
Affiliation:CNRS
Personal website:http://perso.ens-lyon.fr/damien.pous/

Contributions

POPL 2023 Committee Member in Program Committee within the POPL-track
POPL 2021 Author of Cyclic Proofs, System T, and the Power of Contraction within the POPL-track
CPP 2021 Committee Member in Program Committee within the CPP 2021-track
CPP 2020 Author of Completeness of an Axiomatization of Graph Isomorphism via Graph Rewriting in Coq within the CPP 2020-track
FOSSACS 2019 Author of Kleene algebra with hypotheses within the FOSSACS 2019-track
POPL 2017 ERC member in External Review Committee within the POPL-track
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

Share
xThu 2 Feb 12:09
using conf.researchr.org (v1.58.0)
Support page
Sign Up