10.482, Confs: Modal Logics of Space

[LINGUIST Network]

LINGUIST List:  Vol-10-482. Thu Apr 1 1999. ISSN: 1068-4875.

Subject: 10.482, Confs: Modal Logics of Space

Moderators: Anthony Rodrigues Aristar: Wayne State U.<aristar at linguistlist.org>
            Helen Dry: Eastern Michigan U. <hdry at linguistlist.org>
            Andrew Carnie: U. of Arizona <carnie at linguistlist.org>

Reviews: Andrew Carnie: U. of Arizona <carnie at linguistlist.org>

Associate Editors:  Martin Jacobsen <marty at linguistlist.org>
                    Brett Churchill <brett at linguistlist.org>
                    Ljuba Veselinova <ljuba at linguistlist.org>

Assistant Editors:  Scott Fults <scott at linguistlist.org>
		    Jody Huellmantel <jody at linguistlist.org>
		    Karen Milligan <karen at linguistlist.org>

Software development: John H. Remmers <remmers at emunix.emich.edu>
                      Chris Brown <chris at linguistlist.org>

Home Page:  http://linguistlist.org/


Editor for this issue: Karen Milligan <karen at linguistlist.org>
 ==========================================================================
Please keep conferences announcement as short as you can; LINGUIST
will not post conference announcements which in our opinion are
excessively long.


=================================Directory=================================

1)
Date:  Thu, 1 Apr 1999 15:00:37 +0200 (MET DST)
From:  mdr at wins.uva.nl (Maarten de Rijke)
Subject:  Modal Logics of Space

-------------------------------- Message 1 -------------------------------

Date:  Thu, 1 Apr 1999 15:00:37 +0200 (MET DST)
From:  mdr at wins.uva.nl (Maarten de Rijke)
Subject:  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:ingrid at 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.

---------------------------------------------------------------------------
LINGUIST List: Vol-10-482