|Preliminary program now available!|
|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
|The following people have agreed to give long
Follow this link for the preliminary program..
committee for M4M consists of
This year, M4M-3 will take place as one of the events of the
Inference Week (NIW). The NIW is made up of three
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
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
| 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