Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
POPL 2020 (series) / Thomas Letan

Registered user since Thu 2 Jan 2020

Name: Thomas Letan

Affiliation: ANSSI

Contributions

CoqPL 2020Author of The use of Coq for Common Criteria Evaluations within the CoqPL-track
CPP 2020Author of FreeSpec: Specifying, Verifying and Executing Impure Computations in Coq within the CPP 2020-track
Show activities from other conferences

POPL 2020-profile
View general profile