Registered user since Sat 16 Jan 2016

Name:Sylvain Conchon
Affiliation:LRI, Université Paris-Sud

Contributions

POPL 2017 Local Chair in Organizing Committee