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/2011/newsitem/3940/17-
 June-2011-Dutch-Model-Checking-Day-2011-Delft-The-
 Netherlands
DTSTAMP:20110519T000000
SUMMARY:Dutch Model Checking Day 2011, Delft, The 
 Netherlands
DTSTART;TZID=Europe/Amsterdam:20110617T100000
DTEND;TZID=Europe/Amsterdam:20110617T170000
LOCATION:Delft, 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.   The keynote talk of DMCD 2011 will be given 
 by Byron Cook from Microsoft Research Cambridge an
 d Queen Mary University, who is one of the leading
  researchers in the area.   Registration for the w
 orkshop is free but required. For more information
 , see http://www.se.ewi.tudelft.nl/dmcd2011/
X-ALT-DESC;FMTTYPE=text/html:\n      <p>Model chec
 king is a tool-supported technique to analyse the 
 correctness\n        of ICT systems that enjoys in
 creasing popularity in both scientific and\n      
   industrial circles. In the past twenty-five year
 s, research in this area\n        has led to drama
 tic improvements in the performance of model check
 ing\n        tools. This has enabled its applicati
 on to real-life problems, and has\n        induced
  major corporations such as Microsoft and Intel to
  invest in the\n        development and applicatio
 n of model checking technology.\n      </p>\n     
  <p>The Dutch Model Checking Day (DMCD) is a forum
  for practitioners and\n        researchers intere
 sted in model-based techniques for the validation 
 and\n        analysis of software and hardware. DM
 CD covers a broad spectrum of topics,\n        ran
 ging from fundamental algorithms to industrial app
 lications and tools.\n        The workshop aims to
  foster interactions and exchanges of ideas with a
 ll\n        related areas in software engineering.
 \n      </p>\n      <p>The keynote talk of DMCD 20
 11 will be given by Byron Cook\n        from Micro
 soft Research Cambridge and Queen Mary University,
 \n        who is one of the leading researchers in
  the area.\n      </p>\n    \n      <p>Registratio
 n for the workshop is free but required.\n        
 For more information, see\n        <a target="_bla
 nk" href="http://www.se.ewi.tudelft.nl/dmcd2011/">
 http://www.se.ewi.tudelft.nl/dmcd2011/</a>\n      
 </p>\n    
URL:/NewsandEvents/Archives/2011/newsitem/3940/17-
 June-2011-Dutch-Model-Checking-Day-2011-Delft-The-
 Netherlands
END:VEVENT
END:VCALENDAR