Logic List Mailing Archive

M4M-3 (Methods for Modalities), Nancy September 2003

CALL FOR SUBMISSIONS

METHODS FOR MODALITIES 3 (M4M-3)

INRIA Lorraine,
Nancy, France.
September 22-23, 2003
www.science.uva.nl/~m4m

DEADLINE FOR SUBMISSIONS: June 30, 2003

THEME
The workshop Methods for Modalities (M4M) aims to bring together
researchers interested in developing proof tools and reasoning
methods for modal logic broadly conceived, including description
logic, hybrid logics, feature logic, temporal logic, etc.

SPECIAL FEATURES
To stimulate interaction and transfer of expertise, M4M will be
centered around a number of long presentations by leading
researchers; these presentations aim to provide both the general
background and inside information in a number of key areas.  To
complement these, we are inviting submissions of short, focussed
presentations aimed at highlighting new developments and
applications, and submissions of system demonstrations.  M4M-3 is
the third installment of this bi-anual workshop series.

SUBMISSIONS
We invite three kinds of submissions:

  A. Research papers on proof tools and reasoning methods for modal
     logic as well as their applications.  Submissions in this
     category need not be unpublished work; they can be up to 10 A4
     size pages.

  B. System descriptions can be up to 4 A4 size pages, they should
     focus on actual implementations explaining system architecture
     issues and specific implementation techniques.  Every system
     description should be accompanied by a system demo at M4M.

  C. Application descriptions can be up to 6 A4 size pages, they
     should focus on experiences of using modal-like languages to
     solve specific real-world tasks.  A description of the problem
     should be given, together with an explanation of how modal like
     inference systems were used to tackle/analyse it.  If
     available, demos of the final product/solution can be
     organized during M4M.

The primary means of submission will be electronic, in PostScript or PDF

format.  Final versions should be done in Latex, using the styles
provided in the Workshop home pages. Submissions should be sent to
m4m@science.uva.nl.

PROGRAM COMMITTEE
The program committee for M4M-3 consists of
  Carlos Areces, INRIA Lorraine (co-chair);
  Patrick Blackburn, INRIA Lorraine (co-chair);
  Torben Brauner, Roskilde University;
  Enrico Franconi, Free University of Bozen-Bolzano,
  Ian Horrocks, University of Manchester;
  Maarten de Rijke, University of Amsterdam;
  Holger Schlingloff, Humboldt University in Berlin;
  Renate Schmidt, University of Manchester; and
  Frank Wolter, University of Liverpool.

IMPORTANT DATES
    * Deadline for submissions: June 30, 2003
    * Notification: August 8, 2003
    * Camera ready versions: September 8, 2003
    * Workshop dates: September 22-23, 2003


FURTER INFORMATION
Please visit www.science.uva.nl/~m4m for further information about M4M.

--

M4M: Methods for Modalities
www.science.uva.nl/~m4m