Jaime Arias - ICFP 2023

Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

Registered user since Mon 10 Oct 2016

Name:Jaime Arias

Country:France

Affiliation:CNRS; LIPN; Université Sorbonne Paris Nord

Personal website: https://www.jaime-arias.fr/

Research interests:Formal Methods, Interactive Systems

Contributions

2023

ICFP

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

Show activities from other conferences

ICFP 2023-profile
View general profile