Assia Mahboubi -

Registered user since Wed 7 Sep 2016

Name:Assia Mahboubi

Country:France

Affiliation:INRIA

Personal website: http://people.rennes.inria.fr/Assia.Mahboubi/

Contributions

2024

POPL

Committee Member in Program Committee within the POPL-track

2023

CPP

Author of Compositional pre-processing for automated reasoning in dependent type theory within the CPP 2023-track

2022

ICFP

Committee Member in Program Committee within the ICFP Papers and Events-track

CPP

Committee Member in Steering Committee within the CPP 2022-track

2021

CPP

Steering Committee Member in Steering Committee within the CPP 2021-track

CoqPL

Co-chair in Organizing Committee within the CoqPL-track

2020

CPP

Committee Member in Program Committee within the CPP 2020-track

CoqPL

Co-chair in Organizing Committee within the CoqPL-track

2019

CPP

2018

CPP

Committee Member in Program Committee within the CPP 2018-track

2017

TyDe

Committee Member in Program Committee within the TyDe 2017-track

CPP

Committee Member in Program Committee within the CPP-track

TTT