Please note that this newsitem has been archived, and may contain outdated information or links.
22-23 September 2003, METHODS FOR MODALITIES 3 (M4M-3), Nancy, France
The workshop Methods for Modalities' (M4M) aims to bring together researchers interested in developing proof tools and reasoning methods for modal logic broadly conceived, including description logic, hybrid logics, feature logic, temporal logic, etc.
For more information, see the conference website at http://www.science.uva.nl/~m4m/.
We are inviting submissions of short, focussed presentations aimed at highlighting new developments and applications, and submissions of system demonstrations. Deadline for submissions: 7 July 2003
Please note that this newsitem has been archived, and may contain outdated information or links.