FormaliSE 2025 Contributors

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

co-located with ICSE 2025

Filter

Role Type

Contributing to

Number of Roles

Country

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
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