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/2009/newsitem/2751/4-6
 -November-2009-Formal-Methods-2009-Eindhoven-The-N
 etherlands
DTSTAMP:20090215T000000
SUMMARY:Formal Methods 2009, Eindhoven, The Nether
 lands
DTSTART;VALUE=DATE:20091104
DTEND;VALUE=DATE:20091106
LOCATION:Eindhoven, The Netherlands
DESCRIPTION:FM2009 is the sixteenth international 
 symposium of the Formal Methods Europe association
 . Ten years after the world congress in Toulouse i
 n 1999, FM2009 will be organized as a world congre
 ss again, a global platform for researchers and pr
 actitioners from a diversity of countries, backgro
 unds and schools to exchange ideas and share exper
 iences. Several conferences are colocating with FM
 2009 within FMweek. As is tradition, the symposium
  will go together with an Industry Day, a Doctoral
  Symposium, a Tool Exhibition, an event on Teachin
 g Formal Methods, as well as a wide range of works
 hops.   For more information, see http://www.win.t
 ue.nl/fm2009/.   In order to complete the programm
 e, the organizing committee of FM2009 cordially in
 vites proposals for one day tutorials in the wide 
 area of formal methods, which will take place on 2
  and 3 November, preceding the symposium. Tutorial
 s should aim to provide conference participants wi
 th the opportunity to learn new techniques and gai
 n insights in the use of formal methods. Deadline 
 for proposal submissions: 6 March, 2009.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>FM200
 9 is the sixteenth international symposium of the 
 Formal Methods\n        Europe association. Ten ye
 ars after the world congress in Toulouse in\n     
    1999, FM2009 will be organized as a world congr
 ess again, a global\n        platform for research
 ers and practitioners from a diversity of\n       
  countries, backgrounds and schools to exchange id
 eas and share\n        experiences. Several confer
 ences are colocating with FM2009 within\n        F
 Mweek. As is tradition, the symposium will go toge
 ther with an Industry Day,\n        a Doctoral Sym
 posium, a Tool Exhibition, an event on Teaching Fo
 rmal\n        Methods, as well as a wide range of 
 workshops.\n      </p>\n    \n      \n      <p>For
  more information, see\n        <a target="_blank"
  href="http://www.win.tue.nl/fm2009/">http://www.w
 in.tue.nl/fm2009/</a>.\n      </p>\n    </div><div
 >\n      <p>In order to complete the programme, th
 e organizing committee\n      of FM2009 cordially 
 invites proposals for one day tutorials in\n      
 the wide area of formal methods, which will take p
 lace on 2 and\n      3 November, preceding the sym
 posium.  Tutorials should aim to\n      provide co
 nference participants with the opportunity to lear
 n\n      new techniques and gain insights in the u
 se of formal\n      methods. Deadline for proposal
  submissions: 6 March, 2009.\n      </p>\n      </
 div>
URL:/NewsandEvents/Archives/2009/newsitem/2751/4-6
 -November-2009-Formal-Methods-2009-Eindhoven-The-N
 etherlands
END:VEVENT
END:VCALENDAR