POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Catherine Dubois

Registered user since Sat 9 Dec 2017

Name: Catherine Dubois

Affiliation: ENSIIE Paris-Evry

Contributions

Off the Beaten Track 2018Keynote Speaker of Keynote: Programming and proving with FoCaLiZe: a tour from computer algebra to interoperability applications within the Off the Beaten Track 2018-track
Show activities from other conferences

POPL 2018-profile
View general profile