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/3660/8-D
 ecember-2010-FLiRT-workshop-Fixed-point-LogIcs-and
 -Reasoning-about-Trees
DTSTAMP:20101121T000000
SUMMARY:FLiRT workshop: Fixed-point LogIcs and Rea
 soning about Trees
DTSTART;VALUE=DATE:20101208
DTEND;VALUE=DATE:20101208
LOCATION:Plantage Muidergracht 24, Amsterdam
DESCRIPTION:The FLiRT workshop will coincide with 
 the public PhD defenses of Gaëlle Fontaine and Amé
 lie Gheerbrant which will both take place on the 9
 th of December. The workshop will gather young res
 earchers and world top experts in various areas of
  theoretical computer science related to fixed-poi
 nt logics. These areas include automata theory, ga
 me theory, web languages and coalgebras.    The ev
 ent will be hosted by the Institute for Logic, Lan
 guage and Computation (ILLC) of the University of 
 Amsterdam (UvA) and will take place in the Euclide
 s building (Plantage Muidergracht 24).  For more i
 nformation, see http://homepages.inf.ed.ac.uk/aghe
 erbr/flirt.html
X-ALT-DESC;FMTTYPE=text/html:\n        <p> The FLi
 RT workshop will coincide with the public PhD defe
 nses of Ga&euml;lle Fontaine and Am&eacute;lie Ghe
 erbrant which will both take place on the 9th of D
 ecember. The workshop will gather young\n        r
 esearchers and world top experts in various areas 
 of theoretical computer science related to fixed-p
 oint logics. These areas include\n         automat
 a theory, game theory, web languages and coalgebra
 s.\n        </p>\n        <p>\n        The event w
 ill be hosted by the Institute for Logic, Language
  and\n        Computation (ILLC) of the University
  of Amsterdam (UvA) and will take place in the Euc
 lides building (Plantage Muidergracht 24).</p>\n\n
     \n        <p>For more information, see <a targ
 et="_blank" href="http://homepages.inf.ed.ac.uk/ag
 heerbr/flirt.html">http://homepages.inf.ed.ac.uk/a
 gheerbr/flirt.html</a></p>\n    
URL:/NewsandEvents/Archives/2010/newsitem/3660/8-D
 ecember-2010-FLiRT-workshop-Fixed-point-LogIcs-and
 -Reasoning-about-Trees
END:VEVENT
END:VCALENDAR