DFMD 2027
Dates to be announced Groningen, Netherlands
DFMD 2027 (series) / Dutch Formal Methods Day 2027 /

Organizing Committee DFMD

Rodrigo Otoni

Rodrigo Otoni Organizer

University of Groningen

Netherlands

Marcello Seri

Marcello Seri Organizer

Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen

small-avatar

Milan Lopuhaä-Zwakenberg Organizer

University of Twente