Corpora: Call for Participation: Modal Logics of Space

Maarten de Rijke (mdr@wins.uva.nl)
Thu, 1 Apr 1999 15:00:37 +0200 (MET DST)

--------------------apologies for multiple copies---------------------

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:ingrid@wins.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.