[HPSG-L] CfP: AI aspects of Reasoning, Information, and Memory 2016 (AIRIM'16)

[Roussanka Loukanova]

CALL FOR PAPERS

1st International Workshop on
AI aspects of Reasoning, Information, and Memory 2016 (AIRIM'16)
at AAIA'16 - 11th International Symposium Advances in Artificial
Intelligence and Applications | FedCSIS
Gdansk, Poland, 11-14 September, 2016

https://www.fedcsis.org/2016/airim

SCOPE:
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.

TOPICS:

We welcome submissions of papers on the following topics, without limiting
to them, across approaches, methods, theories, and applications:

- Reasoning systems --- theories and applications
- Proof systems and model checkers
- Theories of computation and information
- Interactive computation and reasoning
- Computation and reasoning with heterogeneous information
- Space and time in information, language, memory, and reasoning
- Partiality, underspecification, vagueness, and possibilities
- Detection of and reasoning with inconsistency
- Logic and language --- approaches, theories, methods
- Computational morphology, syntax, semantics, and interfaces between these
- Constraint-based and type-theoretic approaches and grammars
- Logical approaches to multilingual processing
- Logical and computational foundations in machine learning and information
retrieval
- Mathematics for linguistics and cognitive science
- Reasoning, information, and memory in computational neuroscience and life
sciences
- Interdisciplinary approaches to information, language, memory, and
reasoning

IMPORTANT DATES
- Paper submission: April 18, 2016
- Position paper submission: May 30, 2016
- Acceptance decision: June 13, 2016
- Final version of paper submission: July 04, 2016
- Final deadline for discounted fee: July 31, 2016
- Conference dates: September 11-14, 2016

PAPER SUBMISSION and PUBLICATIONS

The publication rules for AIRIM'16 are the same as for AAIA'16:
https://www.fedcsis.org/2016/airim

- Authors should submit draft papers (as Postscript, PDF of MSWord file).
- The total length of a paper should not exceed 10 pages IEEE style
(including tables, figures and references). IEEE style templates are
available here.
- Papers will be refereed and accepted on the basis of their scientific
merit and relevance to the workshop.
- Pre-prints containing accepted papers will be published on a USB memory
stick provided to the FedCSIS participants.
- Only papers presented at the conference will be published in Conference
Proceedings and submitted for inclusion in the IEEE Xplore® database.
- Conference proceedings will be published in a volume with ISBN, ISSN and
DOI numbers and posted at the conference WWW site.
- 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
- Extended versions of selected papers presented during the conference will
be published as Special Issue(s)

ORGANIZERS

Roussanka Loukanova, Stockholm University, Sweden
M. Dolores Jiménez-López, Universitat Rovira i Virgili, Spain
Henning Christiansen, Roskilde University, Denmark

CONTACT INFORMATION

M. Dolores Jiménez-López (mariadolores.jimenez at urv.cat)
Roussanka Loukanova (rloukanova at gmail.com)