[DL] M4M-3: Deadline Extension!!!

[Methods for Modalities]

##################################################################
####################### DEADLINE EXTENSION ####################### 
##################################################################

METHODS FOR MODALITIES 3 (M4M-3)

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

NEW DEADLINE FOR SUBMISSIONS: July 7, 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 at 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: July 7, 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