Assia Mahboubi -

Registered user since Wed 7 Sep 2016

Name:Assia Mahboubi

Country:France

Affiliation:INRIA

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

Contributions

CPP 2023	Author of Compositional pre-processing for automated reasoning in dependent type theory within the CPP 2023-track
ICFP 2022	Committee Member in Program Committee within the ICFP Papers and Events-track
CPP 2022	Committee Member in Steering Committee within the CPP 2022-track
CPP 2021	Steering Committee Member in Steering Committee within the CPP 2021-track
CoqPL 2021	Co-chair in Organizing Committee within the CoqPL-track
CPP 2020	Committee Member in Program Committee within the CPP 2020-track
CoqPL 2020	Co-chair in Organizing Committee within the CoqPL-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)