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