Dutch Formal Methods Day 2025 Contributors - Dutch Formal Methods Day 2025

Thu 26 Jun 2025 Amsterdam, Netherlands

Filter

Role Type

Contributing to

Number of Roles

Country

Results (6)

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