posted by user: wasielewska || 3136 views || tracked by 3 users: [display]

AIRIM 2016 : 1st International Workshop on AI aspects of Reasoning, Information, and Memory

FacebookTwitterLinkedInGoogle

Link: https://www.fedcsis.org/airim
 
When Sep 11, 2016 - Sep 14, 2016
Where Gdansk, Poland
Submission Deadline May 9, 2016
Notification Due Jun 13, 2016
Final Version Due Jul 4, 2016
Categories    information technology   computer science   artificial intelligence
 

Call For Papers

CALL FOR PAPERS
=======================================

1st International Workshop on AI aspects of Reasoning, Information, and Memory (AIRIM'16)

Gdansk, Poland, 11 - 14 September, 2016

WWW: http://fedcsis.org/airim
E-mail: airim2016@fedcsis.org

We would like to cordially invite you to consider contributing a paper to AIRIM 2016 - held as a part of the Federated Conference on Computer Science and Information Systems (FedCSIS 2016).

FedCSIS a yearly international multi-conference organized by the Polish Information Processing Society (PTI) in technical cooperation with the IEEE Region 8, IEEE Poland (Gdansk) Section Computer Society Chapter, Poland Section Computational Intelligence Society Chapter, ACM Special Interest Group on Applied Computing, Lodz ACM Chapter, European Alliance for Innovation, Polish Operational and Systems
Research Society - POSRS, Eastern Cluster ICT Poland, Mazovia Cluster ICT.

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

TOPICS
=======================================

The topics and areas include but are not limited to:

- 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, memory, and reasoning
- Partiality, underspecification, vagueness, and possibilities
- Detection of and reasoning with inconsistency
- Logic and language --- approaches, theories, methods
- Computational morphology, syntax, semantics, and interfaces between these
- Constraint-based and type-theoretic approaches
- Logical approaches to multilingual processing
- Mathematics for linguistics and cognitive science
- Computational approaches to information, language, memory, and reasoning for life sciences
- Computational neuroscience of information, language, memory, and reasoning
- Interdisciplinary approaches to information, language, memory, and reasoning

PAPER SUBMISSION AND PUBLICATION
=======================================

Papers should be submitted by May 9, 2016 (strict deadline). Preprints will be published on a USB memory stick provided to the FedCSIS participants. Only papers presented during the conference will be submitted to the IEEE for inclusion in the Xplore Digital Library. Furthermore, proceedings, published in a volume with ISBN, ISSN and DOI numbers will posted at the conference WWW site. Moreover, most Events' organizers arrange quality journals, edited volumes, etc. and may invite selected extended and revised papers for post-conference publications (information can be found at the websites of individual events).

IMPORTANT DATES
=======================================

- Paper submission: May 9, 2016 (strict deadline)
- Position paper submission: May 30, 2016
- Acceptance decision: June 13, 2016
- Final version of paper submission: July 4, 2016
- Final deadline for discounted fee: July 31, 2016
- Conference dates: September 11-14, 2016

EVENT CHAIRS
=======================================

- Christiansen, Henning, Roskilde University, Denmark
- Jiménez López, María Dolores, GRLMC, Universitat Rovira i Virgili, Spain
- Loukanova, Roussanka, Department of Mathematics, Stockholm University, Sweden

PROGRAM COMMITTEE (confirmed so far)
=======================================

- Andreasen, Troels, Roskilde University, Denmark, Denmark
- Angelov, Krasimir, University of Gothenburg, Sweden
- Becerra, Leonor, Jean Monnet University
- Grabowski, Adam, Institute of Informatics, University of Bialystok, Bialystok, Poland
- Kornilowicz, Artur, Institute of Informatics, University of Bialystok, Poland
- Moss, Larry, Indiana University, United States
- Nilsson, Jørgen Fischer, Technical University of Denmark, Denmark
- Parmentier, Yannick, LIFO, Université d'Orléans, France
- Ranta, Aarne, University of Gothenburg, Sweden, Sweden
- Schwarzweller, Christoph, Department of Computer Science, University of Gdansk, Poland
- Villadsen, Jørgen, Technical University of Denmark, Denmark


CHAIRS OF FedCSIS CONFERENCE SERIES

Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki


CONTACT FedCSIS AT: secretariat@fedcsis.org

FedCSIS on Facebook: http://tinyurl.com/FedCSISFacebook
FedCSIS on LinkedIN: http://tinyurl.com/FedCSISLinkedIN

Related Resources

ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
TIME 2024   The 31st International Symposium on Temporal Representation and Reasoning
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
ECNLPIR 2024   2024 European Conference on Natural Language Processing and Information Retrieval (ECNLPIR 2024)
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
KR 2024   Principles of Knowledge Representation and Reasoning
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
EAIH 2024   Explainable AI for Health
ECAI 2024   27th European Conference on Artificial Intelligence