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:
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
\n \n \nFor more information, see\n http://www.sbmf2007.ufop.br/\n
\n The Programme Committe e cordially invites all researchers\n to su bmit their\n papers for presentation.\n Submission deadline is 15th May, 2007\n < /p>\n