|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.|
|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.|
following people have agreed to give long presentations:
|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).|
|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.
|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.
|On May 10, 1999, ILLC will host a Workshop on Modal Logics of Space. Please consult its home page for details.|
|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