[PT] VS: Paper Submission Deadline Extended: 9th Methods for Modalities Workshop (M4M-9), IIT Kanpur, India, January 8-10, 2017

________________________________
Fra: LII group [[email protected]]
Sendt: 2. september 2016 15:51
Til: LII group
Emne: Paper Submission Deadline Extended: 9th Methods for Modalities Workshop (M4M-9), IIT Kanpur, India, January 8-10, 2017

-----------------------------------------------------------------

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

**** Note Extended Paper Submission Deadline Sept 19, 2016 ****

SECOND CALL FOR PAPERS

The Methods for Modalities Workshop Series will have its 9th 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.

Invited Speakers
--------------------------------------

Joel Gregory Lucero-Bryan, Khalifa University of Science, Technology and Research, Abu Dhabi, UAE

Lidia Tendera, Institute of Mathematics and Informatics, Opole University, Poland

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 expect to have electronic proceedings for M4M-9 in the LIPIcs series (https://www.dagstuhl.de/en/publications/lipics).

Important Dates (Revised)
--------------------------------------

************************************************************************
Deadline for Paper Submission: 19 September 2016

Notification to Authors: 31 October 2016

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


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

https://cs.famaf.unc.edu.ar/~careces/M4M/<https://cs.famaf.unc.edu.ar/%7Ecareces/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: [email protected]<mailto:[email protected]>
--------------------------------------------------