[HPSG-L] CfP: extended deadline: CLIRAI Computational Linguistics, Information, Reasoning, and AI

[Roussanka Loukanova]

================================================
CALL FOR PAPERS
================================================
Special Session:
Computational Linguistics, Information, Reasoning, and AI (CLIRAI)
(previously: CompLingInfoReasAI)
at
21st International Conference on Distributed Computing and Artificial
Intelligence (DCAI) 2024
University of Salamanca (Spain) 26th-28th June, 2024

https://www.dcai-conference.net/tracks/special-sessions/clirai

Extended Deadline: ** 5th April, 2024 **
====

SCOPE:
Computational and technological developments that incorporate natural
language and reasoning methods are proliferating. Adequate coverage
encounters difficult problems related to the phenomena of partiality,
underspecification, perspectives of agents, and context dependency.
These phenomena are signature features of information in nature,
natural languages, and reasoning.

The session covers theoretical work, applications, approaches, and
techniques for computational models of information, language
(artificial, human, or natural in other ways), reasoning. The goal is
to promote computational systems and related models of language,
thought, reasoning, and other related processes.

TOPICS:
We invite contributions relevant to the following topics, without
being limited to them, across approaches, methods, theories,
implementations, and applications:

- Theorem Provers and Assistants
- Model Checkers
- Theories of Computation
- Theories of Information
- Computational Methods of Inferences in Natural Language
- Computational Theories and Systems of Reasoning in Natural Language
- Transfer of reasoning in natural language to theorem provers, or vice versa
- Transfer of reasoning between natural language, theorem provers,
model checkers, and various computational assistants
 - Translations between natural language of mathematics and formal
languages of proof and verification systems
- Controlled Languages of Mathematics
==
- Computational approaches of Computational Linguistics, e.g., in
domain specific areas
- Theories for applications to language, information processing, reasoning
- Type Theories for applications to language, information processing, reasoning
- Computational Grammar
- Computational Syntax
- Computational Semantics of Natural Language
- Computational Syntax-Semantics Interface
- Interfaces between morphology, lexicon, syntax, semantics, speech,
text, pragmatics
- Parsing
- Multilingual Processing
- Large-Scale Grammars of Natural Languages
- Models of computation and algorithms for linguistics, natural
language processing, argumentation
- Computational Models of Partiality, Underspecification, and Context-Dependency
- Models of Situations, Contexts, and Agents, for Applications to
Computational Linguistics
- Information about Space and Time in Language Models and Processing
==
- Interdisciplinary Methods
- Integration of formal, computational, model theoretic, graphical,
diagrammatic, statistical, and other related methods
- Logic for information extraction or expression in written, spoken,
and other modes of language
- Logic for information integrations of diagrams with language
==
- Computational Models of Argumentations
- Large Language Models (LLM)
- Data Science in Language Processing
- Machine Learning of Language and Reasoning
==
- Interactive Computation, Reasoning, Argumentation
- Computation with heterogeneous information
- Reasoning with heterogeneous and/or inconsistent information
- Dialog and other Interactions
- Interdisciplinary approaches to language, computation, reasoning, memory
- Computational processing of information and languages in various
specific areas and domains, e.g., in forensics, medical sciences,
healthcare, jurisdiction, law, etc.
- Applications, e.g., to governing, education, business, economy,
justice, health, medical sciences, etc.
==
- Computational processing language based on natural fundamentals of
information and languages
- Computational neuroscience of language
- etc.

IMPORTANT DATES
Deadline Extended Deadline: 5th April, 2024 (was 15th March, 2024)
Notification of acceptance 3rd May, 2024
Camera-Ready papers 17th May, 2024
Conference 26th-28th June, 2024

PAPER SUBMISSION
at EasyChair of DCAI
https://www.dcai-conference.net/tracks/special-sessions

The papers must consist of original, relevant, and previously
unpublished, sound research results related to any of the topics of
the Special Session CLIRAI.

SUBMITTING PAPERS and PAPER FORMAT
DCAI Special Session papers must be formatted according to the
Template of Lecture Notes in Networks and Systems (LNNS), Springer,
with a maximum length of 10 pages in length, including figures and
references.

All papers must be formatted according to the Springer LNNS template,
with a maximum length of 10 pages, including figures and references.
All proposed papers must be submitted in electronic form (PDF format)
using the Paper Submission Page:

https://www.dcai-conference.net/tracks/special-sessions

PUBLICATION
All accepted, registered, and presented papers will be published by
the series Lecture Notes in Networks and Systems (LNNS), Springer. At
least one of the authors of an accepted paper will be required to
register and attend the symposium to present the paper in order to
include it in the conference proceedings.

CHAIRS
Roussanka Loukanova
Institute of Mathematics and Informatics, Bulgarian Academy of
Sciences, Bulgaria

Sara Rodríguez
University of Salamanca, Salamanca, Spain

CONTACT: Roussanka Loukanova <rloukanova at gmail.com>
====