[HPSG-L] Extended Deadline CfP: CLIRAI'25 Computational Linguistics, Information, Reasoning, and AI

[Roussanka Loukanova]

CALL FOR PAPERS
================================================
** Extended Submission Deadline 4th April, 2025 **

Special Session on
Computational Linguistics, Information, Reasoning, and AI (CLIRAI)
(previous alias: CompLingInfoReasAI)

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

at:
The 22nd International Conference on Distributed Computing and Artificial
Intelligence 2025
University of Lille, France
25th-27th June, 2025

https://www.dcai-conference.net
================================================

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), and 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, semantics, reasoning, and
information processing
- Type Theories for applications to language, semantics, reasoning, and
information processing
- 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 and 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 of language based on natural fundamentals of
information and languages
- Computational neuroscience of language
- etc.

IMPORTANT DATES
See:
https://www.dcai-conference.net

Submission deadline 4th April, 2025 (extended from 21st March, 2025)
Notification of acceptance 25th April, 2025
Camera-Ready papers 9th May, 2025
Conference 25th-27th June, 2025

SUBMISSION

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

Format
All papers must be formatted according to the LNNS template, with a maximum
length of 10 pages, including figures and references. See Sects. Format,
Submission, etc., at:

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

PUBLICATION
Accepted papers will be included in DCAI Proceedings, under the following
condition, for each paper:

At least one of the authors is required to register at DCAI symposium and
attend the Special Session CLIRAI, where they will present their paper.
This will allow for its inclusion in 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>
======