[DL] M4M-3, First Call for Papers
Methods for Modalities
m4m at science.uva.nl
Fri Mar 21 19:14:42 CET 2003
Apologies for multiple messages
CALL FOR SUBMISSIONS
METHODS FOR MODALITIES 3 (M4M-3)
September 22-23, 2003
DEADLINE FOR SUBMISSIONS: June 30, 2003
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.
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.
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
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.
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.
* Deadline for submissions: June 30, 2003
* Notification: August 8, 2003
* Camera ready versions: September 8, 2003
* Workshop dates: September 22-23, 2003
Please visit www.science.uva.nl/~m4m for further information about M4M.
M4M: Methods for Modalities www.science.uva.nl/~m4m
More information about the dl