The workshop METHODS FOR MODALITIES (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics.
Official Website: http://personal.us.es/hvd/m4m/
Added by mBLAST on March 18, 2011