[Agda] CfP: CompLingInfoReasAI'21 / Computational Linguistics, Information, Reasoning, and AI 2021

[Ana Bove]

Dear All,

Despite the name of the event, it does fit the work done by many of us 
in this list!
So please consider submitting even it time is a bit tight.
---------------

CALL FOR PAPERS

Special Session:
Computational Linguistics, Information, Reasoning, and AI 2021 
(CompLingInfoReasAI'21)
Salamanca, Spain, 6th-8th October, 2021, HYBRID

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

** Extended Deadline for paper submissions: 28th May, 2021 **

SCOPE:
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.

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
- 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 
versa
- Transfer of reasoning between natural language, theorem provers, model 
checkers, and various computational assistants
- Computational approaches of computational linguistics for 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 languages
- 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
==
- 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 or spoken 
language
- 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, interactions
- Interdisciplinary approaches to language, computation, reasoning, memory
- Argumentation in AI applications, e.g., to business, economy, justice, 
health, medical sciences
  ==
- Language processing based on biological fundamentals of information 
and languages
- Computational neuroscience of language
- etc.

IMPORTANT DATES
Deadline for paper submissions: 28th May, 2021
Notification of acceptance: 18th June, 2021
Camera-ready papers: 2st July, 2021
Conference: 6th-8th October, 2021

PAPER SUBMISSION
https://www.dcai-conference.net/special-sessions 
<https://www.dcai-conference.net/special-sessions>
https://www.dcai-conference.net/submission 
<https://www.dcai-conference.net/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'21.

SUBMITTING PAPERS
DCAI Special Session papers must be formatted according to the Springer 
AISC Template, with a maximum length of 10 pages in length, including 
figures and references. All proposed papers must be submitted in 
electronic form (PDF format) using the Paper Submission Page.

PUBLICATION
All accepted, registered, and presented papers will be published by 
Advances in Intelligent Systems and Computing, AISC, series of Springer 
Verlag. 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

Ana Bove,
Chalmers University of Technology,
Gothenburg, Sweden

Roussanka Loukanova,
Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, 
Bulgaria
and Stockholm University, Sweden

Sara Rodríguez,
University of Salamanca, Spain
======

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210512/4a9c6421/attachment.html>