Atlas home || Conferences | Abstracts | about Atlas
Host: Institute for Logic, Language, and Computation, University of Amsterdam
Sponsor: Netherlands Organization for Scientific Research (NWO), the Computational Logic Group at ILLC, the Spinoza project `Logic in Action', and DFG.
Homepage: http://turing.wins.uva.nl/~mdr/M4M/
Email: m4m@wins.uva.nl
Organizers: Carlos Areces (Amsterdam), Enrico Franconi (Manchester), Rajeev Gore (Canberra), Hans de Nivelle (Amsterdam/Saarbrücken), Hans Jürgen Ohlbach (London), Maarten de Rijke (Amsterdam), Holger Schlingloff (Bremen)
Description:
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 demonstrations.
Speakers: David Basin Patrick Blackburn, Ian Horrocks, Hans de Nivelle, Renate Schmidt, Roberto Sebastiani
Date received: April 21, 1999
© 2008 Atlas Conferences Inc.