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/2007/newsitem/1646/29-
 31-August-2007-10th-Symposium-on-Formal-Methods-Ou
 ro-preto-Brazil
DTSTAMP:20061210T000000
SUMMARY:10th Symposium on Formal Methods, Ouro pre
 to, Brazil
DTSTART;VALUE=DATE:20070829
DTEND;VALUE=DATE:20070831
LOCATION:Ouro preto, Brazil
DESCRIPTION:The aim of this event is to provide an
  opportunity for researchers with a broad range of
  interests in formal methods to discuss recent dev
 elopments in this field.   For more information, s
 ee http://www.sbmf2007.ufop.br/   The Programme Co
 mmittee cordially invites all researchers to submi
 t their papers for presentation. Submission deadli
 ne is 15th May, 2007
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The a
 im of this event is to provide an opportunity for 
 researchers with a\n        broad range of interes
 ts in formal methods to discuss recent development
 s\n        in this field.\n      </p>\n    \n     
  \n      <p>For more information, see\n        <a 
 target="_blank" href="http://www.sbmf2007.ufop.br/
 ">http://www.sbmf2007.ufop.br/</a>\n      </p>\n  
   </div><div>\n      <p>\n        The Programme Co
 mmittee cordially invites all researchers\n       
  to submit their\n        papers for presentation.
 \n        Submission deadline is 15th May, 2007\n 
      </p>\n      </div>
URL:/NewsandEvents/Archives/2007/newsitem/1646/29-
 31-August-2007-10th-Symposium-on-Formal-Methods-Ou
 ro-preto-Brazil
END:VEVENT
END:VCALENDAR