Methods for Modalities 1
Institute for Logic, Language and Computation, University of Amsterdam, November 29-30, 2001
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:
  • Ed Brinksma (on applications of formal methods)
  • Marta Cialdea Mayer (on quantified modal logic and tableaux methods)
  • Enrico Franconi (on tools for knowledge engineering)
  • Joe Halpern (to be announced)
  • Fabio Massacci (on testing of automated deduction systems)
  • Wolfgang Thomas (on automata theory and model checking)
In addition, there will be demonstration sessions, and short, 30 minute, contributed presentations. Details of the program will be available on a separate page.
Program Committee   The program committee for M4M consists of Carlos Areces (ILLC, The Netherlands), Stephane Demri (LSV, ENS de Cachan and Lab. LEIBNIZ, France), Joseph Halpern (Cornell University, USA), Ian Horrocks (University of Manchester, United Kingdom), Joost-Pieter Katoen (University of Twente, The Netherlands), Maarten de Rijke (ILLC, The Netherlands), Holger Schlingloff (University of Bremen, Germany), Renate Schmidt (University of Manchester, United Kingdom).
Important Dates  
  • Deadline for early registrations: November 23, 2001
    (Please note that the early registration deadline has been extended to November 23 because of extended downtime of the web server on November 21.)
  • Workshop dates: November 29-30, 2001
Registration   The early registration fee for M4M is 125 Dutch guilders; the fee includes 2 lunches, coffee and tea services as well as a copy of the informal workshop proceedings. Online registration is no longer possible. If you want to take part, and haven't registered, you can register on the spot for the late registration fee of 200 Dutch guilders.

Affordable accommodation is very hard to come by in Amsterdam; we have reserved a block of rooms for participants of M4M in the two hotels:

  • Eden Hotel (3 stars). Amstel 144. Tel: +31(0)20-5307888 - Fax: +31(0)20-6242946
    . 12 rooms at 198 Dutch guilders per night. (breakfast not included).
  • Asterisk Hotel (2 stars). Den Texstraat 16 Tel: +31(0)20-6241768 - Fax: +31(0)20-6382790
    2 rooms at 90 Dutch guilders per night, and 5 rooms at 125 Dutch guilders per night (both with breakfast included).
If you are interested, contact the hotels directly, and mention the Workshop and our secretary Ms. Ria Rettob. You can also look for accomodations on your own using the following links:
Location   Both long presentations and contributed talks will take place in Room D of the A Building (Psychology Building), Roeterstraat 15. Systems demo's will take place on various rooms in the 3rd Floor of the B Building (Chemistry Building), Nieuwe Achtergracht 166. You may find these maps useful: map 1 map 2.

The workshop dinner will take place on Thursday, November 29th, from 19.30 hours onwards. The dinner will be held at in the Sahid Jaya Indonesisch Restaurant,, Reguliersdwarsstraat 26. From the site of the workshop, tram 9 to Muntplein leaves you at walking distance from the restaurant. The workshop dinner is only open for those who have signed up during registration.


Methods for Modalities
Maintained by Henry Chinaski
m4m@science.uva.nl