Please note that this newsitem has been archived, and may contain outdated information or links.
12-14 November 2009, 6th Workshop on "Methods for Modalities" (M4M-6), Copenhagen, Denmark
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 temporal logic, 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. M4M-6 will be preceded by a two-day mini-course aimed at preparing PhD students and other researchers for participation in the workshop. The mini-course is associated with the FIRST research school (http://first.dk).
For more information, see http://m4m.loria.fr/M4M6
The Programme Committee cordially invites all researchers to submit their papers for presentation. We strongly encourage young researchers and students to submit papers, especially for experimental and prototypical software tools which are related to modal logics. Submission deadline (extended) is September 1st, 2009.
Please note that this newsitem has been archived, and may contain outdated information or links.