Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

17-21 June 2003, Reasoning about Space

Date: 17-21 June 2003
Location: Bloomington, Indiana (USA)
Deadline: 17 June 2003

Recent years have seen lots of exciting work in spatial reasoning in computer science, AI, and philosophy. The motivation for this work ranges from image analysis and geographical information systems in CS through attempts to exploit properties of space in diagrammatic reasoning, to purely mathematical issues of expressivity of languages with respect to particular spatial domains. As of now, much of the research has been carried out within the respective fields and without much interaction with researchers in other fields.

The aim of this workshop is to present some recent advances in the field with a particular emphasis on bringing researchers in various fields together for purposes of looking at unifying logical frameworks (such as, for instance, modal logic) and getting a better sense of the most fruitful avenues for further research.

The workshop is held in the context of the Second North American Summer School in Logic, Language and Information. For more information, see http://www.dit.unitn.it/~aiellom/nasslli03/.

Deadline for submissions: March 1, 2003.

Please note that this newsitem has been archived, and may contain outdated information or links.