• Sign in
  • Sign up
conf.researchr.org / Assia Mahboubi
  • 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
xSun 5 Feb 01:50
using conf.researchr.org (v1.58.0)
Support page
Sign Up