<div dir="ltr"><div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature"><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">CALL FOR PAPERS</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature"><br></div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">2nd International Workshop on </div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">AI aspects of Reasoning, Information, and Memory 2017 (AIRIM'17)  </div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature"><br></div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature"><a href="https://www.fedcsis.org/2017/airim">https://www.fedcsis.org/2017/airim</a></div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature"><br></div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">Prague, Czech Republic, 3-6 September, 2017</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature"><br></div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">Paper submission: May 10, 2017</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature"><br></div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">-------------------------------------------------------------</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">SCOPE</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">There is general realization that computational models of languages and reasoning can be improved by integration of heterogeneous resources of information, e.g., multidimensional diagrams, images, language, syntax, semantics, quantitative data, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual areas related to information, language, memory, reasoning.</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature"><br></div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">TOPICS</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature"><br></div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">We welcome submissions of papers on the following topics, without limiting to them, across approaches, methods, theories, and applications:</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature"><br></div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Reasoning systems --- theories and applications</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Proof systems and model checkers</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Theories of computation and information</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Interactive computation and reasoning</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Computation and reasoning with heterogeneous information</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Space and time in information, language, memory, and reasoning</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Partiality, underspecification, vagueness, and possibilities</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Detection of and reasoning with inconsistency</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Logic and language --- approaches, theories, methods</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Computational morphology, syntax, semantics, and interfaces between these</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Constraint-based and type-theoretic approaches and grammars</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Logical approaches to multilingual processing</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Logical and computational foundations in machine learning and information retrieval</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Mathematics for linguistics and cognitive science</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Reasoning, information, and memory in computational neuroscience and life sciences</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Interdisciplinary approaches to information, language, memory, and reasoning</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature"><br></div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">IMPORTANT DATES</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature"><br></div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">Paper submission (strict deadline): May 10, 2017 23:59:59 pm HST</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">Position paper submission: May 31, 2017</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">Authors notification: June 14, 2017</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">Final paper submission and registration: June 28, 2017</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">Final deadline for discounted fee: August 01, 2017</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">Conference dates: September 3-6, 2017</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature"><br></div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">PAPER SUBMISSION and PUBLICATIONS</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature"><br></div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">The publication rules for AIRIM'17 are the same as for AAIA'17:</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature"><a href="https://www.fedcsis.org/2017/airim">https://www.fedcsis.org/2017/airim</a></div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature"><br></div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Authors should submit draft papers (as Postscript, PDF of MSWord file)</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- The total length of a paper should not exceed 10 pages IEEE style (including tables, figures and references). IEEE style templates are available at the websites of AIRIM'17 | AAIA'17</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Pre-prints containing accepted papers will be published on a USB memory stick provided to the FedCSIS participants</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Only papers presented at the conference will be published in Conference Proceedings and submitted for inclusion in the IEEE Xplore® database</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Conference proceedings will be published in a volume with ISBN, ISSN, and DOI numbers and posted at the conference WWW site</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Conference proceedings will be indexed in BazEkon and submitted for indexation in: Thomson Reuters - Conference Proceedings Citation Index, SciVerse Scopus, Inspec, Index Copernicus, DBLP Computer Science Bibliography, and Google Scholar</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">- Extended versions of selected papers presented during the conference will be published as Special Issue(s)</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature"><br></div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">CONTACT INFORMATION</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature"><br></div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">Roussanka Loukanova (<a href="mailto:rloukanova@gmail.com">rloukanova@gmail.com</a>)</div><div class="gmail-m_-1346767740132180827m_-4013493100703416569gmail_signature">-------------------------------------------------------------</div><div><br></div></div></div>
</div>