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/Archives/2025/newsitem/15564/26
 -June-2025-Dutch-Formal-Methods-Day-Lab42-Science-
 Park-900-Amsterdam
DTSTAMP:20250407T141952
SUMMARY:Dutch Formal Methods Day, Lab42, Science P
 ark 900, Amsterdam
DTSTART;TZID=Europe/Amsterdam:20250626T100000
DTEND;TZID=Europe/Amsterdam:20250626T180000
LOCATION:Lab42, Science Park 900, Amsterdam
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 intere
 sted in formal methods, in the broadest sense, to 
 come together, learn, and network. There will be n
 umerous talks, giving a broad overview formal meth
 ods in the Netherlands. Upon registering, you will
  have the opportunity to offer a talk.  Coffee and
  lunch will be provided; there will be ample oppor
 tunity for networking with your colleagues and mee
 ting new people. Experts and newcomers to the fiel
 d are equally welcome.  All the talks will be give
 n in English.  We are currently collecting talks. 
 If you would like to offer a talk, register before
  May 9th. As part of the registration process, you
  can indicate that you would like to give a talk. 
 The organizers will be in touch and put together a
  program.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The Dutch
  Formal Methods Day is a full-day event dedicated 
 to formal methods in the Netherlands. This event i
 s an opportunity for people in academia, industry,
  and education who are interested in formal method
 s, in the broadest sense, to come together, learn,
  and network. There will be numerous talks, giving
  a broad overview formal methods in the Netherland
 s. Upon registering, you will have the opportunity
  to offer a talk.</p>\n  <p>Coffee and lunch will 
 be provided; there will be ample opportunity for n
 etworking with your colleagues and meeting new peo
 ple. Experts and newcomers to the field are equall
 y welcome.</p>\n  <p>All the talks will be given i
 n English.</p>\n</div><div>\n  <p>We are currently
  collecting talks. If you would like to offer a ta
 lk, register before May 9th. As part of the regist
 ration process, you can indicate that you would li
 ke to give a talk. The organizers will be in touch
  and put together a program.</p>\n</div>
URL:https://conf.researchr.org/home/dfdm-2025
CONTACT:Benno van den Berg at b.vandenberg3 at uav
 .nl
END:VEVENT
END:VCALENDAR