conf.researchr.org / Evelyne Contejean

Registered user since Mon 5 Nov 2018

Name: Evelyne Contejean

Contributions

CPP 2021 Author of A Coq Formalization of Data Provenance within the CPP 2021-track
CPP 2019 Author of A Coq Mechanised Formal Semantics for Realistic SQL Queries - Formally Reconciling SQL and Bag Relational Algebra within the CPP 2019-track
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
PEPM 2016 Committee Member in Program Committee within the PEPM-track