BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/161
 52/4-June-2026-Dutch-Formal-Methods-Day-2026
DTSTAMP:20260415T171803
SUMMARY:Dutch Formal Methods Day 2026
DTSTART;TZID=Europe/Amsterdam:20260604T093000
DTEND;TZID=Europe/Amsterdam:20260604T170000
LOCATION:Eindhoven [NL]
DESCRIPTION:The Dutch Formal Methods Day is a full
 -day event dedicated to formal methods in the Neth
 erlands. This event is an opportunity for people i
 n academia, industry and education who are interes
 ted in formal methods, in the broadest sense, to c
 ome together, learn, and network. There will be nu
 merous talks, giving a broad overview formal metho
 ds in the Netherlands. Upon registering, you will 
 have the opportunity to offer a talk.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The Dutch Form
 al Methods Day is a full-day event dedicated to fo
 rmal methods in the Netherlands. This event is an 
 opportunity for people in academia, industry and e
 ducation who are interested in formal methods, in 
 the broadest sense, to come together, learn, and n
 etwork. There will be numerous talks, giving a bro
 ad overview formal methods in the Netherlands. Upo
 n registering, you will have the opportunity to of
 fer a talk.</p>\n
URL:https://conf.researchr.org/home/dfdm-2026
CONTACT:Jore Booy at j.j.booy at tue.nl
END:VEVENT
END:VCALENDAR