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/2002/newsitem/317/2-De cember-2002-PhD-defense-Rosella-Gennari DTSTAMP:20021108T000000 SUMMARY:PhD defense, Rosella Gennari DTSTART;TZID=Europe/Amsterdam:20021202T110000 DTEND;TZID=Europe/Amsterdam:20021202T000000 LOCATION:Doelenzaal (the small room), Oude Luthers e Kerk, Singel 411,\nAmsterdam ATTENDEE;ROLE=Promotor:K.R. Apt ATTENDEE;ROLE=Copromotor:M. de Rijke DESCRIPTION:Keywords: efficient automated reasonin g, CSPs, constraint propagation, modal logics, mod al satisfiability. For more information, see ht tp://www.cwi.nl/~gennari/thesis X-ALT-DESC;FMTTYPE=text/html:\n
\n Keywords: efficient automated reasoning, CSPs, con straint propagation,\nmodal logics, modal satisfia bility.\n
\n \n\n For more information, see\n http://ww w.cwi.nl/~gennari/thesis\n
URL:/NewsandEvents/Archives/2002/newsitem/317/2-De cember-2002-PhD-defense-Rosella-Gennari END:VEVENT END:VCALENDAR