22 December 2003, Workshop on Reasoning about Space

General Information

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.

This is the second event in this series. The first was held during NASSLLI in Bloomington, IN. For more info, see http://dit.unitn.it/~aiellom/nasslli03.

Program:
9:30-10:30 Coffee
9:30-10:30 Valentin Shehtman (TBA)
10:35-11:35 Ian Pratt (TBA)
11:40-12:40 Marco Aiello A proposal for a book on logics of space
12:40-13:45 Lunch
13:45-14:45 Johan van Benthem (TBA)
14:50-15:50 Philippe Balbiani Line-based 2-dimensional geometries: first-order theories and modal logics