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/2006/newsitem/1172/2-F
 ebruary-2006-OAS-Colloquium-Muck-van-Weerdenburg
DTSTAMP:20060202T000000
SUMMARY:OAS Colloquium, Muck van Weerdenburg
ATTENDEE;ROLE=Speaker:Muck van Weerdenburg (OAS Gr
 oup)
DTSTART;TZID=Europe/Amsterdam:20060202T161500
DTEND;TZID=Europe/Amsterdam:20060202T170000
LOCATION:Room 6.96, HG (Main Building), TU Eindhov
 en
DESCRIPTION:One of the bottlenecks in model checki
 ng is the time (and space) consuming transformatio
 n of a model to a state space. The main activity i
 n such a transformation is often the rewriting of 
 data expressions. In this talk the author will giv
 e an overview of his work on the rewriter(s) of th
 e mCRL2 toolset. This toolset differs from other s
 uch toolsets in that it has a higher order data sp
 ecification language (amongst other features).   F
 or more information, see http://www.win.tue.nl/oas
 /main_colloquium.html.
X-ALT-DESC;FMTTYPE=text/html:\n      <p>One of the
  bottlenecks in model checking is the time (and\n 
        space) consuming transformation of a model 
 to a state space.\n        The main activity in su
 ch a transformation is often the\n        rewritin
 g of data expressions.  In this talk the author wi
 ll\n        give an overview of his work on the re
 writer(s) of the mCRL2\n        toolset.  This too
 lset differs from other such toolsets in\n        
 that it has a higher order data specification lang
 uage\n        (amongst other features).\n      </p
 >\n    \n      <p>For more information, see \n    
     <a target="_blank" href="http://www.win.tue.nl
 /oas/main_colloquium.html">http://www.win.tue.nl/o
 as/main_colloquium.html</a>.\n      </p>\n    
URL:/NewsandEvents/Archives/2006/newsitem/1172/2-F
 ebruary-2006-OAS-Colloquium-Muck-van-Weerdenburg
END:VEVENT
END:VCALENDAR