Ninth Methods for Modality Workshop - 2017
January 8–9, 2017, Outreach Conference Hall,
Indian Institute of Technology, Kanpur, India.

The Association for Logic in India (ALI), and the Steering Committee of Methods for Modalities (M4M), announce the 9th Methods for Modalities Workshop, to be held at the Indian Institute of Technology (IIT) Kanpur, from January 8 to 9, 2017. It will be co-located with the Indian Conference on Logic and its Applications (ICLA) to be held from January 5 to 7, 2017.

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. Please visit here for details of M4M workshops in the past. In M4M9 we will have a substantial part of the meeting devoted to tutorial lectures to increase the instructional content of the event.

The electronic proceedings of M4M9 are being published in the EPTCS series. Submission and PC meeting were managed using the Easychair system.