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