Logic List Mailing Archive

AIRIM 2017: AI aspects of Reasoning, Information and Memory

3-6 Sep 2017
Prague, Czech Republic

CALL FOR PAPERS

2nd International Workshop on
AI aspects of Reasoning, Information, and Memory 2017 (AIRIM'17)

Prague, Czech Republic, 3 - 6 September, 2017

https://www.fedcsis.org/2017/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 (strict deadline): May 10 2017 23:59:59 pm HST
Position paper submission: May 31, 2017
Authors notification: June 14, 2017
Final paper submission and registration: June 28, 2017
Final deadline for discounted fee: August 01, 2017
Conference dates: September 3-6, 2017

PAPER SUBMISSION and PUBLICATIONS

The publication rules for AIRIM'17 are the same as for AAIA'17:
https://www.fedcsis.org/2017/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 at the websites of AIRIM'17 | AAIA'17
- 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@urv.cat)
Roussanka Loukanova (rloukanova@gmail.com)
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam