• Sign in
  • Sign up
conf.researchr.org / Damien Pous
  • ETAPS 2019 profile
  • POPL 2017 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • POPL 2023 profile
  • POPL 2025 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

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
xTue 20 May 18:35
using conf.researchr.org (v1.69.0)
Support page
Sign Up