Jean-Pierre Talpin -

Registered user since Wed 21 Dec 2016

Name:Jean-Pierre Talpin

Affiliation:INRIA, France

Contributions

SAS 2021	Author of Verified Functional Programming of an Abstract Interpreter within the SAS-track
LCTES 2020	pc in Program Committee within the LCTES 2020-track
LCTES 2019	Committee Member in Program Committee within the LCTES 2019-track
LCTES 2018	Committee Member in Program Committee
LCTES 2017	Committee Member in Program Committee
LCTES 2016	Committee Member in Program Committee