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.