Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jim Portegies
conf.researchr.org general profile
DFMD 2026 profile
Registered user since Fri 6 Feb 2026
Name:
Jim Portegies
Affiliation:
Eindhoven University of Technology
Contributions
2026
Dutch Formal Methods Day
Session Chair of Talks (part of DFMD)
Session Chair of Keynote (part of DFMD)
Committee Member in Organizing Committee within the DFMD-track
Share
x
Sun 4 Oct 16:52