Actualités

  • ABZ 2024 : Rigorous State-based methods Conference, PC member 
  • FACS'24 : Formal Aspects of Component Software, PC membre et SC member
  • 2024-2027 : Membre élue du Conseil National des universités (CNU), section CNU27 Informatique
  • HCERES : Expert Hcéres pour les campagnes d'évaluation 2017, 2018, 2019, 2021, 2023, 2024 ; champs Recherche et Valorisation ; Présidente d'un comité Hcéres en 2019