<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Arial,Helvetica,sans-serif;" dir="ltr">
<p></p>
<div>CALL FOR PAPERS</div>
<div><br>
</div>
<div>2nd International Workshop on <span style="font-size: 12pt;">AI aspects of Reasoning, Information, and Memory 2017 (AIRIM'17)</span></div>
<div><br>
</div>
<div>Prague, Czech Republic, 3 - 6 September, 2017</div>
<div><br>
</div>
<div>https://www.fedcsis.org/2017/airim</div>
<div><br>
</div>
<div>-------------------------------------------------------------</div>
<div>SCOPE:</div>
<div>There is general realization that computational models of languages <span style="font-size: 12pt;">and reasoning can be improved by integration of heterogeneous </span><span style="font-size: 12pt;">resources of information, e.g., multidimensional diagrams,
images, </span><span style="font-size: 12pt;">language, syntax, semantics, quantitative data, memory. While the </span><span style="font-size: 12pt;">event targets promotion of integrated computational approaches, we </span><span style="font-size: 12pt;">invite
contributions from any individual areas related to information, </span><span style="font-size: 12pt;">language, memory, reasoning.</span></div>
<div><br>
</div>
<div>TOPICS:</div>
<div><br>
</div>
<div>We welcome submissions of papers on the following topics, without <span style="font-size: 12pt;">limiting to them, across approaches, methods, theories, and </span><span style="font-size: 12pt;">applications:</span></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 <span style="font-size: 12pt;">information retrieval</span></div>
<div>- Mathematics for linguistics and cognitive science</div>
<div>- Reasoning, information, and memory in computational neuroscience and <span style="font-size: 12pt;">life sciences</span></div>
<div>- Interdisciplinary approaches to information, language, memory, and reasoning</div>
<div><br>
</div>
<div>IMPORTANT DATES</div>
<div><br>
</div>
<div>Paper submission (strict deadline): May 10 2017 23:59:59 pm HST</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>The publication rules for AIRIM'17 are the same as for AAIA'17:</div>
<div>https://www.fedcsis.org/2017/airim</div>
<div><br>
</div>
<div>- Authors should submit draft papers (as Postscript, PDF of MSWord file)</div>
<div>- The total length of a paper should not exceed 10 pages IEEE style <span style="font-size: 12pt;">(including tables, figures and references). IEEE style templates are </span><span style="font-size: 12pt;">available at the websites of AIRIM'17 | AAIA'17</span></div>
<div>- Papers will be refereed and accepted on the basis of their <span style="font-size: 12pt;">scientific merit and relevance to the workshop</span></div>
<div>- Pre-prints containing accepted papers will be published on a USB <span style="font-size: 12pt;">memory stick provided to the FedCSIS participants</span></div>
<div>- Only papers presented at the conference will be published in <span style="font-size: 12pt;">Conference Proceedings and submitted for inclusion in the IEEE Xplore® </span><span style="font-size: 12pt;">database</span></div>
<div>- Conference proceedings will be published in a volume with ISBN, <span style="font-size: 12pt;">ISSN, and DOI numbers and posted at the conference WWW site</span></div>
<div>- Conference proceedings will be indexed in BazEkon and submitted for <span style="font-size: 12pt;">indexation in: Thomson Reuters - Conference Proceedings Citation </span><span style="font-size: 12pt;">Index, SciVerse Scopus, Inspec, Index Copernicus,
DBLP Computer </span><span style="font-size: 12pt;">Science Bibliography, and Google Scholar</span></div>
<div>- Extended versions of selected papers presented during the conference <span style="font-size: 12pt;">will be published as Special Issue(s)</span></div>
<div><br>
</div>
<div>ORGANIZERS</div>
<div><br>
</div>
<div>Roussanka Loukanova, Stockholm University, Sweden</div>
<div>M. Dolores Jiménez-López, Universitat Rovira i Virgili, Spain</div>
<div>Henning Christiansen, Roskilde University, Denmark</div>
<div><br>
</div>
<div>CONTACT INFORMATION</div>
<div><br>
</div>
<div>M. Dolores Jiménez-López (mariadolores.jimenez@urv.cat)</div>
<div>Roussanka Loukanova (rloukanova@gmail.com)</div>
<div><br>
</div>
<br>
<p></p>
<p><br>
</p>
<div id="Signature">
<div id="divtagdefaultwrapper" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<br>
</div>
</div>
</div>
</body>
</html>