Please note that this newsitem has been archived, and may contain outdated information or links.
29-30 November 2001, METHODS FOR MODALITIES 2 (M4M-2), Amsterdam
Date: 29-30 November 2001
Location: Amsterdam
Deadline: 12 October 2001
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.
Deadline for submissions: 12 october 2001
For more information, see the conference website at http://staff.science.uva.nl/~m4m.
Please note that this newsitem has been archived, and may contain outdated information or links.