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/522/16-O
 ctober-2003-Logic-Tea-Darko-Sarenac-Stanford
DTSTAMP:20030925T000000
SUMMARY:Logic Tea, Darko Sarenac, Stanford
ATTENDEE;ROLE=Speaker:Darko Sarenac, Stanford
DTSTART;TZID=Europe/Amsterdam:20031016T171500
DTEND;TZID=Europe/Amsterdam:20031016T183000
LOCATION:Room P.017, Euclides Building, Plantage M
 uidergracht 24, Amsterdam
DESCRIPTION:Abstract: We present topological inter
 pretation of modal logic S4 with particular emphas
 is on its modern use in the theory of spatial reas
 oning. This interpretation dates back to at least 
 as far as a paper of J.C.C. McKinsey and A. Tarski
  in the 40's [The algebra of topology, Ann. of Mat
 h. (2) 45 (1944), 141--191], but until recently no
 t much active research has been done on the topic.
  Recent years have seen the revival of research wi
 th applications in robotics, AI, and spatial reaso
 ning. In the first part of the lecture, I will int
 roduce the topological interpretation and some of 
 its most interesting properties. If time permits, 
 in the second part I will say something about poss
 ible extensions of this approach and some of its u
 ses.   Prerequisites: Some knowledge of modal logi
 c is assumed, but no (or very little) knowledge of
  topology.    The Logic Tea homepage can be found 
 at https://www.illc.uva.nl/logic_tea/. For more in
 formation, please contact Merlijn Sevenster (seven
 str at science.uva.nl) or Hartmut Fitz (hfitz at h
 um.uva.nl).
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\n        
 Abstract: We present topological interpretation of
  modal logic S4 with particular emphasis on its mo
 dern use in the theory of spatial reasoning. This 
 interpretation dates back to at least as far as a 
 paper of J.C.C. McKinsey and A. Tarski in the 40's
  [The algebra of topology, Ann. of Math. (2) 45 (1
 944), 141--191], but until recently not much activ
 e research has been done on the topic. Recent year
 s have seen the revival of research with applicati
 ons in robotics, AI, and spatial reasoning. \n    
     In the first part of the lecture, I will intro
 duce the topological interpretation and some of it
 s most interesting properties. If time permits, in
  the second part I will say something about possib
 le extensions of this approach and some of its use
 s.\n      </p>\n      <p>Prerequisites: Some knowl
 edge of modal logic is assumed, but no (or very li
 ttle) knowledge of topology.\n      </p>\n    \n  
     <p>\n        The Logic Tea homepage can be fou
 nd at \n        <a target="_blank" href="https://w
 ww.illc.uva.nl/logic_tea/">https://www.illc.uva.nl
 /logic_tea/</a>.\n        For more information, pl
 ease contact\n        Merlijn Sevenster (<a class=
 "email">sevenstr <span class="at">at</span> scienc
 e.uva.nl</a>)\n        or Hartmut Fitz (<a class="
 email">hfitz <span class="at">at</span> hum.uva.nl
 </a>).\n      </p>\n    
URL:/NewsandEvents/Archives/2003/newsitem/522/16-O
 ctober-2003-Logic-Tea-Darko-Sarenac-Stanford
END:VEVENT
END:VCALENDAR