Methods for Modalities 1
Institute for Logic, Language and Computation, University of Amsterdam, May 67, 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 will host short, focussed presentations aimed at highlighting new developments, and submissions of system demonstrations.
Program   The following people have agreed to give long presentations:
  • David Basin (Verification Based on Monadic Logic)
  • Patrick Blackburn (Internalizing Labelled Deduction)
  • Ian Horrocks (Tableaux Algorithms and Implementations)
  • Hans de Nivelle (Resolution Implementations)
  • Renate Schmidt (Using Resolution for Testing Modal Satisfiability and Building Models)
  • Roberto Sebastiani (Eva luating the Efficiency of Decision Procedures for Modal Logics)
In addition, there will be demonstration sessions, and short, 30 minute, contributed presentations. Details of the program are available on a separate page.
Program Committee   The program committee for M4M consists of Carlos Areces (Amsterdam), Enrico Franconi (Manchester), Rajeev Gore (Canberra), Hans de Nivelle (Amsterdam/Saarbrücken), Hans Jürgen Ohlbach (London), Maarten de Rijke (Amsterdam), Holger Schlingloff (Bremen).
Important Dates  
  • Deadline for early registrations: May 1, 1999
  • Workshop dates: May 6-7, 1999
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.

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.

Location   Both long presentations and contributed talks will take place in Room NP.301 in the Faculteit WINS, Nieuwe Achtergracht 170, Amsterdam. Systems demo's will take place in the Euclides building, Plantage Muidergracht 24, Amsterdam. You may find this little map useful.

The workshop dinner will take place on Friday, May 7, from 19.00 hours onwards. The dinner will be held at in the Blauwe Keizer, Keizersgracht 711. From the site of the workshop, tram 9 to Rembrand Plain leaves you at walking distance from the restaurant; just walk down the Utrechtsestrat till you reach Keizers Gracht, the restaurant is in the corner. The workshop dinner is only open for those who have signed up during registration.
Related Events   On May 10, 1999, ILLC will host a Workshop on Modal Logics of Space. Please consult its home page for details.
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' and DFG.

Methods for Modalities
Maintained by Carlos Areces