Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Damien Pous
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2017 profile
POPL 2020 profile
POPL 2021 profile
POPL 2023 profile
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
x
Thu 2 Feb 12:09