posted by organizer: jrmarcialr || 1880 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 Jul 30, 2014
Notification Due Sep 3, 2014
Final Version Due Sep 14, 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

LADC 2020   10th Latin-American Symposium on Dependable Computing
IEEE-CVIV 2020   2020 2nd International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2020)
CLEI 2020   XLVI Latin American Computing Conference
GreeNet Symposium - SGNC 2020   11th Symposium on Green Networking and Computing (SGNC 2020)
DAWSN 2020   Special Issue “Distributed Algorithms for Wireless Sensor Networks”
ACM--ICMLC--Ei and Scopus 2020   ACM--2020 12th International Conference on Machine Learning and Computing (ICMLC 2020)--SCOPUS, Ei Compendex
MAGELLANELCANO 2020   International Conference Beyond Myth and Epic. The Basque Country and the Magellan-Elcano Expedition in the Context of the First Globalization
ACM-WCBD-Ei/Scopus 2020   2020 International Conference on Wireless Communication and Big Data (WCBD 2020)
AVC 2020   Advances in Vision Computing: An International Journal
LACLO 2020   15th Latin-American Conference on Learning Technologies