Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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.