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 (14)

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
F Wan FokkinkFokkink, Wan Vrije Universiteit Amsterdam Supervisor Synthesis: Turning Automata into Control Software
G Malvin GattingerGattinger, Malvin ILLC, University of AmsterdamNetherlands Formalizing Cyclic Tableaux for PDL in Lean
Marianna GirlandoGirlando, Marianna University of Amsterdam Proof theory meets decision procedures: a case study in intuitionistic K
Andrés GoensGoens, Andrés University of AmsterdamNetherlands Committee Member in Organizing Committee within the Dutch Formal Methods Day-track
H Wim HesselinkHesselink, Wim University of Groningen About Waitfree Linearization of an Arbitrary Data Object
Marijn HeuleHeule, Marijn Carnegie Mellon University Formal Methods for Mathematics
Hans-Dieter HiepHiep, Hans-Dieter NLnet FoundationNetherlands Separation Logic is incomplete
J Joost J. JoostenJoosten, Joost J. University of BarcelonaSpain On Applied Logic, Controlled Natural Language and Large Language Models
K Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands Compiler Correctness – A look at different approaches
L Milan Lopuhaä-ZwakenbergLopuhaä-Zwakenberg, Milan University of Twente Attack tree metrics are operad algebras
V Benno van den Bergvan den Berg, Benno Committee Member in Organizing Committee within the Dutch Formal Methods Day-track
W Haitian WangWang, Haitian University of Amsterdam Formalizing Cyclic Tableaux for PDL in Lean