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
The FLi RT workshop will coincide with the public PhD defe nses of Gaëlle Fontaine and Amé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
\n\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).
\n\n \nFor more information, see http://homepages.inf.ed.ac.uk/a gheerbr/flirt.html
URL:/NewsandEvents/Archives/2010/newsitem/3660/8-D ecember-2010-FLiRT-workshop-Fixed-point-LogIcs-and -Reasoning-about-Trees END:VEVENT END:VCALENDAR