Methods for Modalities 3
INRIA Lorraine, Nancy, France. September 22-23, 2003
Preliminary program now available!
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.
Important Dates  
  • Deadline for submissions: June 30, 2003
  • Notification: August 8, 2003
  • Camera ready versions: September 8, 2003
  • Workshop dates: September 22-23, 2003
Program   The following people have agreed to give long presentations:
  • Stephane Demri: (Modal) Logics for Semistructured Data (bis)
  • Claude Kirchner: An Introduction to Deduction Modulo
  • Carsten Lutz: Expressivity and Complexity of Description Logics with Concrete Domains
  • Maarten Marx: Variable Free Reasoning on Finite Trees
  • Stephan Merz: The Automata-theoretic Framework for Model Checking revisited
  • Ralf Moeller: The Ins and Outs of RACER
In addition, there will be demonstration sessions, and short, 30 minute, contributed presentations.

Follow this link for the preliminary program..
Program Committee   The program committee for M4M consists of
  • Carlos Areces, INRIA Lorraine (co-chair);
  • Patrick Blackburn, INRIA Lorraine (co-chair);
  • Torben Brauner, Roskilde University;
  • Enrico Franconi, Free University of Bozen-Bolzano,
  • Ian Horrocks, University of Manchester;
  • Maarten de Rijke, University of Amsterdam;
  • Holger Schlingloff, Humboldt University in Berlin;
  • Renate Schmidt, University of Manchester; and
  • Frank Wolter, University of Liverpool.
Registration   This year, M4M-3 will take place as one of the events of the first Nancy Inference Week (NIW). The NIW is made up of three events: You can register for any of the NIW events by filling in this form [PDF| PS].

The registration fee for M4M-3 is 70 euros, which covers the cost of the proceedings, coffe breaks, and lunchs. Print the form and follown the instructions indicated there.

Deadline for registration is

September 15th.

No registration will be allowed after this date. In particular, you won't be able to register on the days of the workshop ("on-the-spot" registrations are not possible).

We suggest the following possibilities for accomodation

  • Akena Gare and Akena Prestige, 41 rue Raymond Poincare 54000 Nancy. Tel 03 83 28 87 41. Fax 03 83 90 00 45. Prizes from 29 to 40 euros. Cheap but ok hotel, no web page.
  • Hotel Albert 1er Astoria. Nice 2 star hotel. 83 rooms. Prizes from 48 to 65 euros.
  • You can also visit the hotel search pages of the Office de Tourisme de Nancy for further info.
Contact the hotels directly and make your booking. M4M-3 cannot arrange accomodation for participants.
Location   M4M-3 will take place at LORIA.

The easiest way to reach LORIA from the center of Nancy is by tram. Take Tram 1 tramway in the direction of Vandeuvre CHU. Get out at the stop Callot, from there you have to walk 500 metrers. (First follow the "Lycee Jacques Callot" direction). Here is a map of the campus.
M4M-3 is sponsored by the LED-LIT Research Alliance, a member of INRIA's international équipes associées program.


Methods for Modalities
Maintained by Carlos Areces
m4m@science.uva.nl