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 http://www.illc.uva.nl/logic_tea/. For more inf
ormation, please contact Merlijn Sevenster (sevens
tr at science.uva.nl) or Hartmut Fitz (hfitz at hu
m.uva.nl).
X-ALT-DESC;FMTTYPE=text/html:\n \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

\n Prerequisites: Some knowl
edge of modal logic is assumed, but no (or very li
ttle) knowledge of topology.\n

\n \n
\n The Logic Tea homepage can be fou
nd at \n http://www.illc.uva.nl/l
ogic_tea/.\n For more information, plea
se contact\n Merlijn Sevenster (sevenstr at science.
uva.nl)\n or Hartmut Fitz (hfitz at hum.uva.nl).\n

URL:/NewsandEvents/Archives/2003/newsitem/522/16-O
ctober-2003-Logic-Tea-Darko-Sarenac-Stanford
END:VEVENT
END:VCALENDAR