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
2023
POPL
Committee Member in Program Committee within the POPL-track
2021
POPL
Author of Cyclic Proofs, System T, and the Power of Contraction within the POPL-track
CPP
Committee Member in Program Committee within the CPP 2021-track
2020
CPP
Author of Completeness of an Axiomatization of Graph Isomorphism via Graph Rewriting in Coq within the CPP 2020-track
2019
FOSSACS
Author of Kleene algebra with hypotheses within the FOSSACS 2019-track
2017
POPL
ERC member in External Review Committee within the POPL-track
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Share
x
Fri 29 Mar 07:40