FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026

FormaliSE 2026 Contributors

Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (6)

G
Gnesi, Stefania
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy
General Co-Chair in Organization Committee within the FormaliSE Research Track-track
M
Marsso, Lina
École Polytechnique de MontréalCanada
Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Menghi, Claudio
University of Bergamo; McMaster UniversityItaly
PC Chair in Program Committee within the FormaliSE Research Track-track
N
Nunes Rodrigues, Genaína
University of BrasíliaBrazil
PC Chair in Program Committee within the FormaliSE Research Track-track
P
Plat, Nico
Netherlands
General Co-Chair in Organization Committee within the FormaliSE Research Track-track
R
Ribeiro, Pedro
University of York, UKUnited Kingdom
Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the FormaliSE Artifact Track-track