Assia Mahboubi -

Registered user since Wed 7 Sep 2016

Name: Assia Mahboubi

Country: France

Affiliation: INRIA

Personal website: http://specfun.inria.fr/mahboubi

Contributions

CoqPL 2021	Co-chair in Organizing Committee within the CoqPL-track
CPP 2021	Steering Committee Member in Steering Committee within the CPP 2021-track
CoqPL 2020	Co-chair in Organizing Committee within the CoqPL-track
CPP 2020	Committee Member in Program Committee within the CPP 2020-track
CPP 2019	Session Chair of Keynote 2 and Research Paper (part of CPP 2019) Session Chair of Research Papers: Proof Theory, Theory of Programming Languages (part of CPP 2019) Program Co-Chair in Program Committee within the CPP 2019-track Author of Business Meeting within the CPP 2019-track
CPP 2018	Committee Member in Program Committee within the CPP 2018-track
TyDe 2017	Committee Member in Program Committee within the TyDe 2017-track
CPP 2017	Committee Member in Program Committee within the CPP-track
TTT 2017	Committee Member in Program Committee within the TTT-track Session Chair of First Morning Session (part of TTT)