Dutch Formal Methods Day 2025
Thu 26 Jun 2025 Amsterdam, Netherlands

Dutch Formal Methods Day 2025 Contributors

Filter
Role Type
Committee member
Contributor/Author
Contributing to
Dutch Formal Methods Day
Number of Roles
1..3
Country
-unspecified-
Netherlands
Search

Results (6)

C
Commelin, Johan
University of Utrecht
Committee Member in Organizing Committee within the Dutch Formal Methods Day-track
D
de Haan, Ronald
Committee Member in Organizing Committee within the Dutch Formal Methods Day-track
G
Goens, Andrés
University of AmsterdamNetherlands
Committee Member in Organizing Committee within the Dutch Formal Methods Day-track
H
Heule, Marijn
Carnegie Mellon University
TBA
K
Keller, Gabriele
Utrecht UniversityNetherlands
TBA
V
van den Berg, Benno
Committee Member in Organizing Committee within the Dutch Formal Methods Day-track