conf.researchr.org / 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 2021Co-chair in Organizing Committee within the CoqPL-track
CPP 2021Steering Committee Member in Steering Committee within the CPP 2021-track
CoqPL 2020Co-chair in Organizing Committee within the CoqPL-track
CPP 2020Committee Member in Program Committee within the CPP 2020-track
CPP 2019Session 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 2018Committee Member in Program Committee within the CPP 2018-track
TyDe 2017Committee Member in Program Committee within the TyDe 2017-track
CPP 2017Committee Member in Program Committee within the CPP-track
TTT 2017Committee Member in Program Committee within the TTT-track
Session Chair of First Morning Session (part of TTT)