CfP: CLIRAI / CompLingInfoReasAI / Computational Linguistics, Information, Reasoning, and AI

Roussanka Loukanova rloukanova at
Sun Mar 12 10:33:29 EDT 2023


Special Session:
Computational Linguistics, Information, Reasoning, and AI (CLIRAI)
(previous alias: CompLingInfoReasAI)
Guimarães (Portugal) within PAAMS'23, from 12th to 14th July, 2023, HYBRID

Computational and technological developments that incorporate natural
language and reasoning methods are proliferating. Adequate coverage
encounters difficult problems related to partiality, underspecification,
agents, and context dependency, which 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 thought, mental states,
reasoning, and other cognitive processes.

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

- Theorem provers and assistants
- Model checkers
- Theory of computation
- Theory 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
- Transfer of reasoning between natural language, theorem provers, model
checkers, and various computational assistants
- Computational approaches of computational linguistics for domain specific
- Theories for applications to language, information processing, reasoning
- Type theories for applications to language, information processing,
- Computational grammar
- Computational syntax
- Computational semantics of natural languages
- Computational syntax-semantics interface
- Interfaces between morphology, lexicon, syntax, semantics, speech, text,
- 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
- Models of situations, contexts, and agents, for applications to
computational linguistics
- Information about space and time in language models and processing
- Data science in language processing
- Machine learning of language and reasoning
- Interdisciplinary methods
- Integration of formal, computational, model theoretic, graphical,
diagrammatic, statistical, and other related methods
- Logic for information extraction or expression in written and / or spoken
- Logic for information integrations of diagrams with written and / or
spoken language
- Formal models of argumentations
- 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
- Applications, e.g., to business, economy, justice, health, medical
sciences, etc.
- Computational language processing based on fundamentals of information
and languages
- Computational neuroscience of language
- etc.

Deadline (Maintrack and Special Sessions) 24th March, 2023
Notification of acceptance 3rd May, 2023
Camera-Ready papers 19th May, 2023
Conference Celebration 12th-14th July, 2023


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.

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 LNNS template, with a maximum
length of 10 pages, including figures and references:

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

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

Sara Rodríguez
University of Salamanca, Salamanca, Spain
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20230312/951b8a39/attachment.html>

More information about the FOM mailing list