LINGUIST List 10.482

Thu Apr 1 1999

Confs: Modal Logics of Space

Editor for this issue: Karen Milligan <karenlinguistlist.org>

Directory

1. Maarten de Rijke, Modal Logics of Space

 Call for Participation


 WORKSHOP ON MODAL LOGICS OF SPACE
 May 10, 1999
 ILLC
 University of Amsterdam

 URL: http://www.wins.uva.nl/~aiellom/mls.html

THEME
In various applications there is a need for formal models of space and 
for formal languages for talking about such models. In sharp contrast 
to the related field of reasoning about time, modal logic approaches 
in this research area have been few and far between. However, this 
situation seems to change rapidly since quite recently a number of 
`spatial logics' have been proposed.

The workshop aims at bringing together researchers interested in 
formal representations of space, and particularly, in approaches based 
on modal logic.


PROGRAM
The workshop will consist of the following presentations:

 * Philippe Balbiani, LIPN, France
 Spatial dynamic logic

 * Luis Farinas del Cerro, IRIT, France
 (title to be announced)

 * Volker Haarslev, University of Hamburg, Germany
 Spatial reasoning with the description logic ALCRP(D)

 * Oliver Lemon, University of Dublin, Ireland
 "Beneath the surface" of spatial modal logics

 * Ian Pratt, Manchester University, United Kingdom
 Plane Mereotopology

 * Vera Stebletsova, University of Utrecht, the Netherlands
 (title to be announced)

 * Yde Venema, University of Amsterdam, the Netherlands
 Points, lines and diamonds

 * Marco Aiello, University of Amsterdam, the Netherlands
 Topological Bisimulations, first thoughts


IMPORTANT DATES
 * Deadline for registration: April 30, 1999
 * Workshop date: May 10, 1999


REGISTRATION
The registration fee for 'Modal Logics of Space' is 50 Dutch guilders; 
the fee includes lunch, coffee and tea services as well as a copy of 
the workshop program. To register please send an email to Ingrid van 
Loon (mailto:ingridwins.uva.nl). On site registration will not be 
possible.

LOCATION
Information about the exact location will be provided at a later stage 
on the workshop's home page, http://www.wins.uva.nl/~aiellom/mls.html

ORGANIZERS
The workshop is organized by: Marco Aiello, Ingrid van Loon, and Yde 
Venema.

RELATED EVENTS
On May 6-7, 1999, the ILLC will host the workshop M4M (Methods for 
Modalities). For further details please check the M4M web page 
http://www.wins.uva.nl/~mdr/M4M/

SPONSORS
The workshop 'Modal Logics of Space' is sponsored by the project Logic 
in Communication, which forms part of Johan van Benthem's Spinoza 
project Logic in Action.