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      <p>\n        
 Keywords: efficient automated reasoning, CSPs, con
 straint propagation,\nmodal logics, modal satisfia
 bility.\n      </p>\n    \n      <p>\n        For 
 more information, see\n        <a target="_blank" 
 href="http://www.cwi.nl/~gennari/thesis">http://ww
 w.cwi.nl/~gennari/thesis</a>\n      </p>\n    
URL:/NewsandEvents/Archives/2002/newsitem/317/2-De
 cember-2002-PhD-defense-Rosella-Gennari
END:VEVENT
END:VCALENDAR