CALL FOR PARTICIPATION
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 FOR EARLY REGISTRATION: May 1, 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, there will be short, focussed
presentations aimed at highlighting new developments, as well as system
demonstrations.
PROGRAM
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 and Efficiency
Contributed papers:
* Alechina and Immerman - Efficient Fragment of Transitive Closure Logic
* Bleeker and Meertens - Knowledge in Security Protocols
* Cerrito, Mayer, and Praud - First-Order Linear Time Temporal Logic
over Finite Time Frames is not Semi-Decidable
* Van Eijk, de Boer, van der Hoek, and Meyer - A Modal Interpretation
of Quantification
* Farinas del Cerro and Gasquet - Tableaux Based Decision Procedures
for Modal Logics of Confluence and Density
* Governatori and Rotolo - Labelled Modal Sequents
* Horrocks and Patel-Schneider - Generating Hard Modal Problems for
Modal Decision Procedures
* Horrocks, Sattler and Tobies - Practical Reasoning for Description Logics
* Ohlbach - A Theory Resolution Style ABox Calculus
System Demonstrations:
* Cunningham and Pitt - KE
* Hendriks - Akka
* Horrocks - FaCT
* Marx and Schlobach - lc2
* de Nivelle - Bliksem
* Patel-Schneider - DLP
Please consult www.illc.uva.nl/~mdr/M4M/program.html for full details.
REGISTRATION
The early registration fee for M4M is 100 Dutch guilders; the fee includes 2
lunches, coffee and tea services as well as a copy of the informal
workshop proceedings. To register, please visit the registration page
at
http://www.illc.uva.nl/~mdr/M4M/registration.html
The preferred method of payment is electronically (see the registration
page for details), although it is possible to pay the fee on the spot,
this is strongly discouraged. The late registration fee is 150 guilders.
Affordable accommodation is very hard to come by in Amsterdam; we have
reserved a block of rooms for participants of M4M in the Best Western Eden
Hotel (***) at 180 Dutch guilders per night. The address is Amstel 144, 1017
AE Amsterdam, tel +31 20 530 7878, fax +31 20 623 3267. Please confirm
your reservation at least 2 weeks in advance through the M4M secretary
Marco de Vries (marco@wins.uva.nl).
IMPORTANT DATES
* Deadline early registration: May 1, 1999
* Workshop dates: May 6, 7, 1999
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).
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.
--M4M: Methods for Modalities ILLC, Univ of Amsterdam, May 6-7, 1999 www.illc.uva.nl/~mdr/M4M/