================================================================== Apologies for multiple messages
================================================================== 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 [EMAIL PROTECTED] 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