Logic List Mailing Archive

AIRLangComp 2019: AI aspects in Reasoning, Languages, & Computation

1-4 Sep 2019
Leipzig, Germany

CALL FOR PAPERS

4th International Workshop on
AI aspects in Reasoning, Languages, and Computation 2019 (AIRLangComp'19)

https://www.fedcsis.org/2019/airlangcomp

Leipzig, Germany,  1 - 4 September, 2019

There is general realization that computational models of human reasoning
can be improved by integration of heterogeneous resources of information
and AI techniques, e.g., multidimensional diagrams, images, language,
syntax, semantics, memory. While the event targets promotion of integrated
computational approaches, we invite contributions from any individual area
related to information, formal and natural languages, computation,
reasoning.

Topics

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, computation, reasoning, and
memory
- Partiality, underspecification, vagueness, and possibilities
- Computation and reasoning with heterogeneous or inconsistent information
- Logic and (formal and natural) language --- approaches, theories, methods
- Logic approaches to computational linguistics
- Computational morphology, syntax, semantics, and interfaces between these
- Constraint-based and type-theoretic approaches to grammar
- Multilingual processing
- Logic and theories of computation in machine learning and information
retrieval
- Mathematics for computational linguistics and cognitive science
- Reasoning, information, computation, and memory in computational
neuroscience and life sciences
- Interdisciplinary approaches to language, computation, reasoning, memory

Important Dates

- Paper submission (sharp / no extension): May 14, 2019
- Position paper submission: June 4, 2019
- Author notification: June 25, 2019
- Final paper submission and registration: July 10, 2019
- Final deadline for discounted fee: August 1, 2019
-Conference date: September 1-4, 2019

Paper Submission and Publications

The publication rules, status, and the submission page for AIRLangComp'19
are the same as for AAIA'19 | FedCSIS:

https://www.fedcsis.org/2019/instructions

https://www.fedcsis.org/2019/airlangcomp

Paper Submission

- Authors should submit draft papers (as Postscript, PDF or MSWord file)
- The total length of a paper should not exceed 10 pages IEEE style
(including tables, figures and references). IEEE style templates are
available here
- Papers will be refereed and accepted on the basis of their scientific
merit and relevance to the workshop
- Preprints containing accepted papers will be published on a USB memory
stick provided to the FedCSIS participants
- Only papers presented at the conference will be published in Conference
Proceedings and submitted for inclusion in the IEEE Xplore® database
-Conference proceedings will be published in a volume with ISBN, ISSN and
DOI numbers and posted at the conference WWW site
- Conference proceedings will be indexed in BazEkon and submitted for
indexation in: Thomson Reuters - Conference Proceedings Citation Index,
SciVerse Scopus, Inspec, Index Copernicus, DBLP Computer Science
Bibliography and Google Scholar
- Extended versions of selected papers presented during the conference will
be published as Special Issue(s)
- Organizers reserve right to move accepted papers between FedCSIS events

Event Chairs

- Grabowski, Adam, Institute of Informatics, University of Bialystok,
Bialystok, Poland
- Loukanova, Roussanka, Stockholm University, Sweden
- Schwarzweller, Christoph, Institute of Informatics, University of Gdansk,
Poland

Contact: airlangcomp2019@fedcsis.org
-------------------------------------------------------------
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam