conf.researchr.org / Evelyne Contejean

Registered user since Mon 5 Nov 2018

Name: Evelyne Contejean

Contributions

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