FormaliSE 2025 Contributors - FormaliSE 2025

Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada

co-located with ICSE 2025

Filter

Role Type

Contributing to

Number of Roles

Country

Results (5)

G Stefania GnesiGnesi, Stefania Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy General Co-Chair in Organization Committee within the FormaliSE-track
M Anastasia MavridouMavridou, Anastasia KBR / NASA Ames Research Center PC Co-Chair in Program Committee within the FormaliSE-track
N Quentin NivonNivon, Quentin Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, Grenoble, FranceFrance Web Chair in Organization Committee within the FormaliSE-track
P Nico PlatPlat, Nico Netherlands General Co-Chair in Organization Committee within the FormaliSE-track
S Gwen SalaünSalaün, Gwen University of Grenoble AlpesFrance PC Co-Chair in Program Committee within the FormaliSE-track