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/2012/newsitem/4588/5-S
 eptember-2012-Dutch-Model-Checking-Day-2012-Amster
 dam-The-Netherlands
DTSTAMP:20120819T000000
SUMMARY:Dutch Model Checking Day 2012, Amsterdam, 
 The  Netherlands
DTSTART;VALUE=DATE:20120905
DTEND;VALUE=DATE:20120905
LOCATION:Amsterdam, The  Netherlands
DESCRIPTION:Model checking is a tool-supported tec
 hnique to analyse the correctness of ICT systems t
 hat enjoys increasing popularity in both scientifi
 c and industrial circles. In the past twenty-five 
 years, research in this area has led to dramatic i
 mprovements in the performance of model checking t
 ools. This has enabled its application to real-lif
 e problems, and has induced major corporations suc
 h as Microsoft and Intel to invest in the developm
 ent and application of model checking technology. 
   The Dutch Model Checking Day (DMCD) is a forum f
 or practitioners and researchers interested in mod
 el-based techniques for the validation and analysi
 s of software and hardware. DMCD covers a broad sp
 ectrum of topics, ranging from fundamental algorit
 hms to industrial applications and tools. The work
 shop aims to foster interactions and exchanges of 
 ideas with all related areas in software engineeri
 ng.   Registration required, but it is free of cha
 rge. For more information, see http://www.cs.vu.nl
 /~ekr/dmcd2012/
X-ALT-DESC;FMTTYPE=text/html:\n      <p>Model chec
 king is a tool-supported technique to analyse the\
 n      correctness of ICT systems that enjoys incr
 easing popularity in\n      both scientific and in
 dustrial circles. In the past twenty-five\n      y
 ears, research in this area has led to dramatic im
 provements in\n      the performance of model chec
 king tools. This has enabled its\n      applicatio
 n to real-life problems, and has induced major\n  
     corporations such as Microsoft and Intel to in
 vest in the\n      development and application of 
 model checking technology.\n      </p>\n      <p>T
 he Dutch Model Checking Day (DMCD) is a forum for\
 n      practitioners and researchers interested in
  model-based\n      techniques for the validation 
 and analysis of software and\n      hardware. DMCD
  covers a broad spectrum of topics, ranging from\n
       fundamental algorithms to industrial applica
 tions and tools.\n      The workshop aims to foste
 r interactions and exchanges of ideas\n      with 
 all related areas in software engineering.\n      
 </p>\n    \n      <p>Registration required, but it
  is free of charge.\n        For more information,
  see\n        <a target="_blank" href="http://www.
 cs.vu.nl/~ekr/dmcd2012/">http://www.cs.vu.nl/~ekr/
 dmcd2012/</a>\n      </p>\n    
URL:/NewsandEvents/Archives/2012/newsitem/4588/5-S
 eptember-2012-Dutch-Model-Checking-Day-2012-Amster
 dam-The-Netherlands
END:VEVENT
END:VCALENDAR