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/361/17-2
 1-June-2003-Reasoning-about-Space
DTSTAMP:20030128T000000
SUMMARY:Reasoning about Space
DTSTART;VALUE=DATE:20030617
DTEND;VALUE=DATE:20030621
LOCATION:Bloomington, Indiana (USA)
DESCRIPTION:Recent years have seen lots of excitin
 g work in spatial reasoning in computer science, A
 I, and philosophy. The motivation for this work ra
 nges from image analysis and geographical informat
 ion systems in CS through attempts to exploit prop
 erties of space in diagrammatic reasoning, to pure
 ly mathematical issues of expressivity of language
 s with respect to particular spatial domains. As o
 f now, much of the research has been carried out w
 ithin the respective fields and without much inter
 action with researchers in other fields.    The ai
 m of this workshop is to present some recent advan
 ces in the field with a particular emphasis on bri
 nging researchers in various fields together for p
 urposes of looking at unifying logical frameworks 
 (such as, for instance, modal logic) and getting a
  better sense of the most fruitful avenues for fur
 ther research.    The workshop is held in the cont
 ext of the Second North American Summer School in 
 Logic, Language and Information. For more informat
 ion, see http://www.dit.unitn.it/~aiellom/nasslli0
 3/.    Deadline for submissions: March 1, 2003.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
     Recent years have seen lots of exciting work i
 n spatial reasoning in\n       computer science, A
 I, and philosophy. The motivation for this work ra
 nges\n       from image analysis and geographical 
 information systems in CS through\n       attempts
  to exploit properties of space in diagrammatic re
 asoning, to\n       purely mathematical issues of 
 expressivity of languages with respect to\n       
 particular spatial domains. As of now, much of the
  research has been\n       carried out within the 
 respective fields and without much interaction \n 
       with researchers in other fields.\n      </p
 >\n      <p>\n       The aim of this workshop is t
 o present some recent advances in the field\n     
   with a particular emphasis on bringing researche
 rs in various fields\n       together for purposes
  of looking at unifying logical frameworks (such a
 s,\n       for instance, modal logic) and getting 
 a better sense of the most \n       fruitful avenu
 es for further research.\n      </p>\n    \n      
 <p>\n        The workshop is held in the context o
 f the\n        Second North American Summer School
  in Logic, Language and Information.\n        \n  
       For more information, see\n        <a target
 ="_blank" href="http://www.dit.unitn.it/~aiellom/n
 asslli03/">http://www.dit.unitn.it/~aiellom/nassll
 i03/</a>.\n      </p>\n    </div><div>\n          
 Deadline for submissions: March 1, 2003.\n        
 </div>
URL:/NewsandEvents/Archives/2003/newsitem/361/17-2
 1-June-2003-Reasoning-about-Space
END:VEVENT
END:VCALENDAR