The 7th Methods for Modalities Workshop November 9, 2011
Campo de Cipreses, 1
Osuna, Sevilla
Osuna, Sevilla
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