News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

1-2 December 2005, METHODS FOR MODALITIES 4 (M4M-4), Berlin - Adlershof, Germany

Date: 1-2 December 2005
Location: Berlin - Adlershof, Germany
Deadline: 1 September 2005

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.

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

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. Deadline for submissions: September 1st, 2005

Please note that this newsitem has been archived, and may contain outdated information or links.