Logic List Mailing Archive

Methods for Modalities, Berlin (Dec 2005)

Workshop 'Methods for Modalities', Berlin

The workshop "Methods for Modalities" (M4M) aims to bring together
researchers interested in developing algorithms, verification methods and
tools based on modal logics. Here the term "modal logics" is conceived
broadly, including description logic, guarded fragments, conditional
logic, temporal and hybrid logic, etc.

To stimulate interaction and transfer of expertise, M4M will feature a
number of invited talks by leading scientists, research presentations
aimed at highlighting new developments, and submissions of system
demonstrations. We strongly encourage young researchers and students to
submit papers and posters, especially for experimental and prototypical
software tools which are related to modal logics.

Invited speakers:
Fran?ois Laroussinie, ENS Cachan and CNRS
Martin Lange, Ludwig-Maximilians-Universit?t
Wim Martens, Hasselt University
Boris Motik, Universit?t Karlsruhe
Boris Konev, University of Liverpool
Uwe Scheffler, Humboldt Universit?t

The workshop will take place in Berlin - Adlershof, Germany, which is one
of the worlds largest science and technology areas, comprising twelve
research institutes, six faculties of the Humboldt University of Berlin,
and more than 370 high tech companies. It is hosted by FIRST, the
Fraunhofer Institute of Computer Architecture and Software Technology, in
collaboration with the computer science institute of Humboldt University.

For more information and registration information, see the M4M homepage at
http://m4m.loria.fr/

Workshop dates: December 1-2, 2005