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/2010/newsitem/3435/21-
 22-August-2010-7th-Workshop-on-Fixed-Points-in-Com
 puter-Science-FICS-2010-Brno-Czech-Republic
DTSTAMP:20100617T000000
SUMMARY:7th Workshop on Fixed Points in Computer S
 cience (FICS 2010), Brno, Czech Republic
DTSTART;VALUE=DATE:20100821
DTEND;VALUE=DATE:20100822
LOCATION:Brno, Czech Republic
DESCRIPTION:Fixed points play a fundamental role i
 n several areas of computer science and logic by j
 ustifying induction and recursive definitions. The
  construction and properties of fixed points have 
 been investigated in many different frameworks suc
 h as: design and implementation of programming lan
 guages, program logics, databases. The aim of the 
 workshop is to provide a forum for researchers to 
 present their results to those members of the comp
 uter science and logic communities who study or ap
 ply the theory of fixed points.    FICS-2010 is a 
 satellite workshop to MFCS & CSL 2010. For more in
 formation, see http://www.lif.univ-mrs.fr/fics2010
 /
X-ALT-DESC;FMTTYPE=text/html:\n      <p>Fixed poin
 ts play a fundamental role in several areas of com
 puter\n        science and logic by justifying ind
 uction and recursive\n        definitions. The con
 struction and properties of fixed points have been
 \n        investigated in many different framework
 s such as: design and\n        implementation of p
 rogramming languages, program logics,\n        dat
 abases. The aim of the workshop is to provide a fo
 rum for\n        researchers to present their resu
 lts to those members of the computer\n        scie
 nce and logic communities who study or apply the t
 heory of fixed\n        points.\n      </p>\n    \
 n      <p> FICS-2010 is a satellite workshop to MF
 CS &amp; CSL 2010.\n        For more information, 
 see\n        <a target="_blank" href="http://www.l
 if.univ-mrs.fr/fics2010/">http://www.lif.univ-mrs.
 fr/fics2010/</a>\n      </p>\n    
URL:/NewsandEvents/Archives/2010/newsitem/3435/21-
 22-August-2010-7th-Workshop-on-Fixed-Points-in-Com
 puter-Science-FICS-2010-Brno-Czech-Republic
END:VEVENT
END:VCALENDAR