News and Events: Upcoming Events

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

Date: 22-23 September 2003
Location: Nancy, France
Deadline: 7 July 2003

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.