posted by user: jrmarcialr || 11036 views || tracked by 5 users: [display]

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


When Aug 15, 2016 - Aug 15, 2016
Where Puebla
Submission Deadline May 6, 2016
Notification Due May 27, 2016
Final Version Due Jun 3, 2016
Categories    logic   algorithms   artificial intelligence

Call For Papers


Tenth Latin American Workshop on Logic/Languages Algorithms and New Methods of Reasoning 2016 (LANMR 2016)

Workshop URL:

Submission Deadline April 29th, 2016
Notification Due May 27th, 2016
Final Version Due June 3rd, 2016
Workshop August 15th, 2016

LANMR 2016 is the tenth edition 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 2016 will provide a forum where participants could exchange their ideas and experiences through high quality peer reviewed papers. The Workshop features a one-day program of invited talks by recognized scientists, as well as oral presentations of technical papers.

This year the LANMR workshop is organized by Benemerita Universidad Autónoma de Puebla and Universidad Autónoma del Estado de México. LANMR 2016 will be followed by WoLLIC (

LANMR will be held the 15th august, 2016 at BUAP, Puebla, Puebla. The proceedings of LANMR 2016 will be published in CEUR Workshop Proceedings (CEUR

Accepted theoretical computer science papers which fulfill the requirements of Electronic Notes in Theoretical Computer Science ( will be published in the special issue, or in a book published by Fomento Editorial BUAP.

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


Papers should be written in English and formatted according to the Springer LNCS style (, and not exceed 12 pages including references and figures. Authors should submit their paper via EasyChair:

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:

Claudia Zepeda Cortes

Related Resources

LANMR 2018   Eleventh Latin American Workshop on New Methods of Reasoning 2018
IJCAI 2019   International Joint Conference on Artificial Intelligence
LAGOS 2019   Latin and American Algorithms, Graphs and Optimization Symposium
ICML 2019   36th International Conference on Machine Learning
James Joyce Symposium 2019   Joyce Without Borders - 2019 North American James Joyce Symposium
ICDMML 2019   【ACM ICPS EI SCOPUS】2019 International Conference on Data Mining and Machine Learning
LADC 2018   Latin-American Symposium on Dependable Computing
ISCSAI 2018   2018 International Symposium on Computer Science and Artificial Intelligence
LANC 2018   X Latin American Networking Conference
CAIP 2019   Computer Analysis of Images and Patterns