Larisa Safina -

Registered user since Sat 20 Mar 2021

Name:Larisa Safina

Country:France

Affiliation:INRIA Lillle - Nord Europe

Contributions

FormaliSE 2023	Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE 2023-track
ACSOS 2023	Committee Member in Program Committee within the Main Track-track
PLDI 2023	Author in Artifact Evaluation Committee within the Research Artifacts-track
ACSOS 2022	Committee Member in Program Committee within the Main Track-track
PLDI 2022	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ACSOS 2021	PC Member in Program Committee within the Main Track-track
FormaliSE 2021	Virtualisation Chair in Organizing Committee within the FormaliSE 2021-track