Methods for Modalities 5
The Laboratoire Spécification et Vérification
Ecole Normale Supérieure de Cachan
Cachan, France, November 29-30, 2007

EXTENDED DEADLINE: 15th of September
  The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logic. Here the term "modal logics" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.
Special features
  To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentation 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.
Contact information
  For any information, please send an email to

Page maintained by Arnaud Sangnier.  Last modified on september 25, 2007.        

Valid HTML 4.01!