Damien Pous -

Registered user since Thu 23 Jun 2016

Name: Damien Pous

Affiliation: CNRS

Personal website: http://perso.ens-lyon.fr/damien.pous/

Contributions

CPP 2021	Committee Member in Program Committee within the CPP 2021-track
POPL 2021	Author of Cyclic Proofs, System T, and the Power of Contraction within the POPL-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