Please note that this newsitem has been archived, and may contain outdated information or links.
10 June 2013, 8th workshop on Methods for Modalities (M4M-8), Lake Placid NY, U.S.A.
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.
For more information, see http://www.cs.famaf.unc.edu.ar/~careces/M4M/M4M8/
Authors are invited to submit papers in the following three categories: regular papers, system descriptions, or presentation-only papers. 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. Abstract submission deadline: April 12th, 2013.
Please note that this newsitem has been archived, and may contain outdated information or links.