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
POPL 2025 profile
Registered user since Thu 23 Jun 2016
Name:
Damien Pous
Affiliation:
CNRS
Personal website:
http://perso.ens-lyon.fr/damien.pous/
Contributions
2025
CPP
PC Member in Program Committee within the CPP 2025-track
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
Tue 20 May 18:35
