Logic List Mailing Archive

Summer School in Logic, Language and Information (NASSLLI '03)

Summer School in Logic, Language and Information (NASSLLI '03), will take
place in Bloomington, Indiana. As a part of the Logic & Computation
section of this summer school we are organizing a (one-week) Workshop on
Reasoning about Space.

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.

We welcome submissions in the following areas of research on spatial
reasoning: 

            Spatial representation in general: what are good primitives 
            Modal logics of topology and geometry 
            Computational complexity and space 
            Language and spatial reasoning 
            Classical and new applications of spatial reasoning 
            Spatial reasoning and conceptual graphs 

We are proud to announce that the following researchers have accepted our
invitation to participate and present their work:

            Johan van Benthem, Univ. of Amsterdam (NL) and Stanford
            Univ. (USA)
            Grigori Mints, Stanford University (USA)
            Rohit Parikh, CUNY (USA)
            Ian Pratt, Manchester University (UK)
            David Randell, Imperial College (UK)


DEADLINE: Mar 1, 2003

Organizers

      Marco Aiello
      aiellom@dit.unitn.it
      Department of Information and Communication Technologies
      University of Trento

      Guram Bezhanishvili
      gbezhani@nmsu.edu
      Department of Mathematical Sciences
      New Mexico State University, Las Cruces, NM, USA

      Darko Sarenac
      sarenac@stanford.edu
      Department of Philosophy
      Stanford University, Stanford, CA, USA