Corpora: Final CfP: Methods for Modalities (M4M)

Methods for Modalities (m4m@wins.uva.nl)
Mon, 8 Mar 1999 20:51:36 +0100 (MET)

FINAL CALL FOR SUBMISSIONS

METHODS FOR MODALITIES 1 (M4M)

Institute for Logic, Language and Computation
University of Amsterdam
May 6-7, 1999
www.illc.uva.nl/~mdr/M4M/

DEADLINE: March 15, 1999

THEME
The workshop `Methods for Modalities' (M4M) aims to bring together
researchers interested in developing proof tools and decision methods for
modal logic broadly conceived, including description logic, feature logic,
temporal logic.

SPECIAL FEATURES
To stimulate interaction and transfer of expertise, M4M will be centered
around a number of long presentations by leading researchers; these
presentations will provide both the 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
submissions of system demonstrations.

SUBMISSIONS
We invite two kinds of submissions: research papers on proof tools and
decision methods for modal logic as well as their applications; and system
descriptions. Research papers need not be original; they can be up to 10
A4 size pages, and system descriptions can be up to 4 A4 size pages.
System descriptions 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. The
primary means of submission will be electronic, in PostScript format.
Submissions should be sent to m4m@wins.uva.nl.

PROGRAM
The following people have agreed to give long presentations:
* David Basin (Verification Based on Monadic Logic)
* Patrick Blackburn (Labeled Deduction and Tableaux)
* Ian Horrocks (Tableaux Implementations)
* Hans de Nivelle (Resolution Implementations)
* Renate Schmidt (Resolution-Based Methods)
* Roberto Sebastiani (Testing)
In addition, there will be demonstration sessions, and short, 30 minute,
contributed presentations.

PROGRAM COMMITTEE
The program committee for M4M consists of Carlos Areces (Amsterdam), Enrico
Franconi (Manchester), Rajeev Gore (Canberra), Hans de Nivelle
(Amsterdam/Saarbruecken), Hans Juergen Ohlbach (London), Maarten de Rijke
(Amsterdam), Holger Schlingloff (Bremen).

IMPORTANT DATES
* Deadline for submissions: March 15, 1999
* Notification: April 5, 1999
* Workshop dates: May 6-7, 1999

REGISTRATION
For information on registration please visit www.illc.uva.nl/~mdr/M4M/.

SPONSORS
M4M is generously sponsored by the Netherlands Organization for Scientific
Research (NWO), the Computational Logic Group at ILLC, the Spinoza project
`Logic in Action', Henry Chinaski Productions, and DFG.

FURTHER INFORMATION
Please visit www.illc.uva.nl/~mdr/M4M/ for further information about M4M.

-- 

M4M: Methods for Modalities ILLC, Univ of Amsterdam, May 6-7, 1999 www.illc.uva.nl/~mdr/M4M/