<div dir="ltr"><div>with apologies for multiple posting</div><div>------------------------------<wbr>------------------------------<wbr>-</div><div>Deadline for Position Papers:</div><div>** May 31, 2017 **</div><div>NOTE: good position papers may qualify for upgrade to regular papers</div><div>------------------------------<wbr>------------------------------<wbr>-</div><div>2nd International Workshop on </div><div>AI aspects of Reasoning, Information, and Memory 2017 (AIRIM'17)  </div><div>Prague, Czech Republic, 3-6 September, 2017</div><div><br></div><div><a href="https://www.fedcsis.org/2017/airim" target="_blank">https://www.fedcsis.org/2017/<wbr>airim</a></div><div>------------------------------<wbr>------------------------------<wbr>-</div><div>SCOPE</div><div>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><br></div><div>TOPICS</div><div><br></div><div>We welcome submissions of papers on the following topics, without limiting to them, across approaches, methods, theories, and applications:</div><div><br></div><div>- Reasoning systems --- theories and applications</div><div>- Proof systems and model checkers</div><div>- Theories of computation and information</div><div>- Interactive computation and reasoning</div><div>- Computation and reasoning with heterogeneous information</div><div>- Space and time in information, language, memory, and reasoning</div><div>- Partiality, underspecification, vagueness, and possibilities</div><div>- Detection of and reasoning with inconsistency</div><div>- Logic and language --- approaches, theories, methods</div><div>- Computational morphology, syntax, semantics, and interfaces between these</div><div>- Constraint-based and type-theoretic approaches and grammars</div><div>- Logical approaches to multilingual processing</div><div>- Logical and computational foundations in machine learning and information retrieval</div><div>- Mathematics for linguistics and cognitive science</div><div>- Reasoning, information, and memory in computational neuroscience and life sciences</div><div>- Interdisciplinary approaches to information, language, memory, and reasoning</div><div><br></div><div>IMPORTANT (active) DATES</div><div><br></div><div>Paper submission: expired</div><div>Position paper submission: May 31, 2017</div><div>Authors notification: June 14, 2017</div><div>Final paper submission and registration: June 28, 2017</div><div>Final deadline for discounted fee: August 01, 2017</div><div>Conference dates: September 3-6, 2017</div><div><br></div><div>PAPER SUBMISSION and PUBLICATIONS</div><div><br></div><div><a href="https://www.fedcsis.org/2017/airim" target="_blank">https://www.fedcsis.org/2017/<wbr>airim</a></div><div><br></div><div>The publication rules, status, and the submission page for AIRIM'17 are the same as for AAIA'17 | FedCSIS:</div><div><br></div><div><a href="https://www.fedcsis.org/2017/instructions" target="_blank">https://www.fedcsis.org/2017/<wbr>instructions</a></div><div><br></div><div><br></div><div>- Authors should submit draft papers (as Postscript, PDF of MSWord file)</div><div>- The total length of a regular 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 | FedCSIS</div><div>- Position papers relate to an ongoing research or experience. Position papers must not exceed 8 pages.</div><div>- Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop</div><div>- Pre-prints containing accepted papers will be published on a USB memory stick provided to the FedCSIS participants</div><div>- Only papers presented at the conference will be published in Conference Proceedings and submitted for inclusion in the IEEE Xplore® database</div><div>- Conference proceedings will be published in a volume with ISBN, ISSN, and DOI numbers and posted at the conference WWW site</div><div>- 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>- Extended versions of selected papers presented during the conference will be published as Special Issue(s)</div><div><br></div><div>CONTACT INFORMATION</div><div><br></div><div>Roussanka Loukanova (<a href="mailto:rloukanova@gmail.com" target="_blank">rloukanova@gmail.com</a>)</div><div>------------------------------<wbr>------------------------------<wbr>-</div><div><br></div></div>