Registered user since Mon 16 Jan 2017
Name:Cyril Cohen
Affiliation:Université Côte d’Azur, Inria, France
Personal website:http://perso.crans.org/cohen/
Contributions
CPP 2021 | Committee Member in Program Committee within the CPP 2021-track Session Chair of Rewriting and Automated Reasoning (part of CPP 2021) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile