8-10 January 2017, 9th Methods for Modalities Workshop (M4M-9), IIT Kanpur, India
The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing proof methods, verification methods, algorithms 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, dynamic logic, etc.
M4M resumes after a short break, but will continue to be an important avenue for discussions of research in modal logics, especially on proof methods and decision procedures, and linkages of modal formalisms to computer science. In M4M-9 we hope to have a substantial part of the meeting devoted to tutorial lectures to increase the instructional content of the event. M4M-9 will be co-located with the Indian Conference on Logic and its Applications (ICLA) to be held during January 5-7, 2017.
Authors are invited to submit papers presenting original and unpublished research in proof methods, verification methods, algorithms and tools based on modal logics. 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: September 2, 2016.