Guilhem Jaber -

Registered user since Fri 3 Jul 2015

Name:Guilhem Jaber

Country:France

Affiliation:LS2N, Université de Nantes

Personal website:http://guilhem.jaber.fr

Contributions

HOPE 2020	Author of Kripke open relations and operational game semantics within the HOPE 2020-track
POPL 2020	Committee Member in Selection Committee within the Student Research Competition-track Author of SyTeCi: Automating Contextual Equivalence for Higher-Order Programs with References within the Research Papers-track
HOPE 2016	Committee Member in Program Committee within the HOPE-track