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/2003/newsitem/556/4-No
 vember-2003-Meeting-of-the-Spatial-Reasoning-Group
 -Spencer-Gerhardt
DTSTAMP:20031103T000000
SUMMARY:Meeting of the Spatial Reasoning Group, Sp
 encer Gerhardt
ATTENDEE;ROLE=Speaker:Spencer Gerhardt
DTSTART;TZID=Europe/Amsterdam:20031104T173000
DTEND;TZID=Europe/Amsterdam:20031104T000000
LOCATION:Euclides
DESCRIPTION:This week Spencer will tell us about h
 is new proof of completeness of temporal logic wit
 h interior operator interpreted over rationals, an
 d the relation of this logic to betweenness modali
 ty.    For more information, contact Darko S. at s
 arenac at stanford.edu
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\n        
 This week Spencer will tell us about his new proof
  of completeness of temporal logic with interior o
 perator interpreted over rationals, and the relati
 on of this logic to betweenness modality.\n      <
 /p>\n    \n      <p>\n        For more information
 , contact Darko S. at \n        <a class="email">s
 arenac <span class="at">at</span> stanford.edu</a>
 \n      </p>\n    
URL:/NewsandEvents/Archives/2003/newsitem/556/4-No
 vember-2003-Meeting-of-the-Spatial-Reasoning-Group
 -Spencer-Gerhardt
END:VEVENT
END:VCALENDAR