Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Assia Mahboubi
conf.researchr.org general profile
ICFP 2017 profile
ICFP 2022 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
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)
Share
x
Sun 5 Feb 01:50