DFMD 2026
Thu 4 Jun 2026 Eindhoven, Netherlands
  • Attending
    • Venue: Eindhoven University of Technology
  • Program
    • DFMD Program
    • Your Program
    • Thu 4 Jun
  • Track/Call
  • Organization
      • DFMD 2026 Committees
      • Track Committees
      • Organizing Committee
      • Contributors
      • People Index
  • Search
  • Series
    • Series
    • DFMD 2026
    • Dutch Formal Methods Day 2025
    • Dutch Formal Methods Day 2024
  • Sign in
  • Sign up
DFMD 2026 (series) / Dutch Formal Methods Day 2026 /

Organizing Committee DFMD

Jore Booy

Jore Booy Committee Member

Eindhoven University of Technology

Netherlands

Jim Portegies

Jim Portegies Committee Member

Eindhoven University of Technology

Marcello Seri

Marcello Seri Co-organizer

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

xFri 10 Jul 09:56

DFMD 2026

contact form

using conf.researchr.org (v1.73.2)
Support page

Tracks

DFMD

Attending

Venue: Eindhoven University of Technology
Sign Up