[fg-arc] Call for papers: 9th Methods for Modalities Workshop (M4M-9), January 8-11, 2017, IIT Kanpur, India

[sujata]

9th METHODS FOR MODALITIES WORKSHOP
 January 8-10, 2017
 IIT Kanpur, India
 https://www.cse.iitk.ac.in/users/icla/M4M/ 

FIRST CALL FOR PAPERS 

Methods for Modalities Workshop Series will have its ninth edition of
Methods for Modalities Workshop (M4M-9) jointly organised by ALI, the
Association for Logic in India, to be held at the Indian Institute of
Technology Kanpur, from
January 8 to 10, 2017. M4M-9 will be co-located with the Indian
Conference on Logic and its Applications (ICLA) to be held during
January 5-7, 2017. 

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. Please visit:
https://cs.famaf.unc.edu.ar/~careces/M4M/ for details of M4M workshops
in the past. 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. 

Submission
---------- 

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. 

Submissions must be in English and should provide sufficient detail to
allow the programme committee to assess the merits of the paper. The
submission may not exceed 15 pages in the LIPIcs style
(http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/).


All submissions will be in electronic form and submitted via the
easychair
conference management system. Simultaneous submission to journals or to
other
conferences with proceedings is not allowed. Submitted papers will be
peer-reviewed and accepted papers will be published in the conference
proceedings, which will be made available at the time of the conference.
We hope to have electronic proceedings for M4M-9 in the LIPIcs
series (https://www.dagstuhl.de/en/publications/lipics). 

Important Dates
----------------
************************************************************************
Deadline for Abstract Submission: 2 September 2016 

Deadline for Paper Submission: 9 September 2016 

Notification to Authors: 25 October 2016 

Deadline for camera-ready papers: 5 November 2016
************************************************************************


Important Links
--------------- 

https://cs.famaf.unc.edu.ar/~careces/M4M/
http://ali.cmi.ac.in
https://www.cse.iitk.ac.in/users/icla/M4M/ 

Programme Committee
------------------- 

Carlos Areces (Universidad Nacional de Córdoba) 
Mohua Banerjee (IIT Kanpur)
Nick Bezhanishvili (University of Amsterdam)
Torben Braüner (Roskilde University)
Hans van Ditmarsch (LORIA, Nancy)
Tim French (The University of Western Australia)
Sujata Ghosh (ISI Chennai) Co-chair
Davide Grossi (University of Liverpool)
Agi Kurucz (King's College, London)
Yongmei Liu (Sun Yat-sen University, Guangzhou)
Claudia Nalon (Universidade de Brasília)
Paritosh Pandya (TIFR, Mumbai)
R Ramanujam (IMSc, Chennai) Co-chair
Sunil Simon (IIT Kanpur) 

Contact
-------
Any queries related to the conference may be sent to the following email
address: m4m9.iitk at gmail.com
---------------------------------------------------------------------------

 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20160720/fb9ea63f/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: m4m-9.pdf
Type: application/pdf
Size: 505034 bytes
Desc: not available
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20160720/fb9ea63f/attachment.pdf>