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