posted by organizer: jrmarcialr || 1190 views || tracked by 6 users: [display]

LANMR 2014 : Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning 2014

FacebookTwitterLinkedInGoogle

Link: http://sc.uaemex.mx/lanmr/
 
When Nov 5, 2014 - Nov 7, 2014
Where Valle de Bravo, Mexico
Submission Deadline Aug 25, 2014
Notification Due Sep 25, 2014
Final Version Due Oct 5, 2014
Categories    computer science
 

Call For Papers

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
CALL FOR PAPERS
Ninth Latin American Workshop on Logic/Languages,
Algorithms and New Methods of Reasoning 2014 (LANMR 2014)

Paper Submission: Deadline EXTENDED: August 25, 2014
Conference Date: November 5-7, 2014, Valle de Bravo, Estado de México, México
Workshop URL: http://sc.uaemex.mx/lanmr/

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

NEWS:
1) Accepted theoretical computer science papers which fulfill the requirements of Electronic Notes in Theoretical Computer Science (http://www.journals.elsevier.com/electronic-notes-in-theoretical-computer-science) will be published in the special issue.

2)Accepted non theoretical computer science papers which fulfill the requirements of Engineering Letters (http://www.engineeringletters.com) will be published in the special issue.


IMPORTANT DATES:
+++++++++++++++++

August 25th, 2014: Submission of Papers
September 25th, 2014: Notification of acceptance
October 5th, 2014: Camera Ready
November 5-7th, 2014: Workshop

SCOPE AND LIST OF TOPICS:
++++++++++++++++++++++++++
LANMR 2014 is the ninth installment of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning. The objective of the LANMR Workshop is to bring together researchers from academia and industry worldwide to present recent research results on theory and applications on Logic, Languages, Algorithms and Reasoning Methods. Researchers, engineers and experts are invited to submit high quality papers to share and to discuss their latest research results. LANMR 2014 will provide a forum where participants could exchange their ideas and experiences through high quality peer reviewed papers.
The Workshop features a three-day program of invited talks by recognized scientists, oral presentations of technical papers, as well as a Doctoral Consortium of currently enrolled graduate students. This year the LANMR workshop will be held from 5th to 7th November, 2014 at ANUIES, Valle de Bravo, State of Mexico. LANMR 2014 is organized by the Logic and Computation Mexican Group.
The proceedings of LANMR 2014 will be published in CEUR Workshop Proceedings (CEUR WS.org). The accepted papers will also be considered for publication in the special issues of the journal Engineering Letters, which will be abstract indexed by Scopus.

Topics of interest include, but are not limited to:

1. Logic programming and non-monotonic reasoning
2. Algorithms applied to logic
3. Answer Set Programming
4. Knowledge representation
5. Belief representation
6. Paraconsistent logics
7. Deduction techniques
8. Automated reasoning
9. Non-classical logics
10. Reasoning about situations and actions
11. Planning
12. AI-Artificial Intelligence
13. Agent and Intelligent Systems
14. Preferences
15. Default and abductive reasoning
16. Well-founded semantics
17. Cognitive agents
18. Novel applications in AI.
19. Natural Language Processing
20. Argumentation

INSTRUCTIONS FOR SUBMITTING PAPERS AND PUBLICATION INFORMATION:
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Papers should be written in English and formatted according to the Springer LNCS style (www.springer.com/computer/lncs?SGWID=0-164-6-793341-0), and not exceed 12 pages including references and figures. Authors should submit their paper via EasyChair: https://www.easychair.org/conferences/?conf=lanmr2014

Each paper will be peer-reviewed by two experts in the field for originality, significance, clarity, impact, and soundness. In cases of contradictory recommendations, a member of the conference program committee would be charged to make the final decision (accept/reject); often, this would involve seeking help from additional referees. Papers whose authors include a member of the conference program committee will be evaluated using the double-blinded review process. Papers must not have been previously published or currently submitted for publication elsewhere.

Contact and general enquiries: José Raymundo Marcial Romero (jrmarcialr@gmail.com)

Related Resources

ICDM 2017   IEEE International Conference on Data Mining 2017
ICONIP 2017   International Conference on Neural Information Processing
CARLA 2017   Latin American HPC Conference - CARLA 2017 - Springer CCIS Series
ACML 2017   The 9th Asian Conference on Machine Learning
LACNEM 2017   7th Latin American Conference on Networked and Electronic Media
DMCIT 2017   ACM-2017 International Conference on Data Mining, Communications and Information Technology(DMCIT 2017)--EI
FCT 2017   Fundamentals of Computation Theory
IEEE-ICDDM 2017   IEEE--2017 6th International Workshops on Database and Data Mining (ICDDM 2017)--Ei Compendex
LARS/SBR 2017   LARS/SBR 2017 Latin American Robotics Symposium / Brazilian Robotics Symposium
LACLO 2017   12th Latin-American Conference on Learning Technologies