posted by user: maripozos || 2445 views || tracked by 2 users: [display]

LANMR 2018 : Eleventh Latin American Workshop on New Methods of Reasoning 2018

FacebookTwitterLinkedInGoogle

Link: https://lanmr.cs.buap.mx/
 
When Nov 15, 2018 - Nov 16, 2018
Where Puebla, Mexico
Submission Deadline Sep 11, 2018
Notification Due Oct 1, 2018
Final Version Due Oct 8, 2018
Categories    logic   reasoning   algorithms   languages
 

Call For Papers

LANMR 2018 is the eleventh 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 2018 will provide a forum where participants could exchange their ideas and experiences through high quality peer reviewed papers. The Workshop features a two-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 will be held the 15th and 16th november, 2018 at BUAP, Puebla, Puebla. The proceedings of LANMR 2018 will be published in CEUR Workshop Proceedings (CEUR WS.org). 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.

Topics of interest include, but are not limited to:

Logic programming and nonmonotonic reasoning
Algorithms applied to logic
Answer Set Programming
Knowledge representation
Belief representation
Paraconsistent logics
Deduction techniques
Automated reasoning
Non-classical logics
Reasoning about situations and actions
Planning
AI Artificial Intelligence
Agent and Intelligent Systems
Preferences
Default and abductive reasoning
Well-founded semantics
Cognitive agents
Novel applications in AI
Natural language Processing
Argumentation

Important Dates

Paper submission: September 3rd, 2018
Notification of acceptance: October 1st, 2018
Camera Ready: October 8th, 2018
Workshop: November 15th, 16th 2018

Submission

Papers should be written in English and formatted according to the Springer LNCS style, and not exceed 12 pages including references and figures. Submissions in Spanish can also be considered, but we strongly encourage authors to write in English. Authors should submit their paper via EasyChair (https://easychair.org/account/signin.cgi?key=76093662.b52RszQoRVPLSv3h). 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.

Related Resources

LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
IEEE-Ei/Scopus-ITCC 2025   2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex
NAACL 2025   North American Chapter of the Association for Computational Linguistics
SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
LAJC 2024   Latin-American Journal of Computing
IEEE-Ei/Scopus-CNIOT 2025   2025 IEEE 6th International Conference on Computing, Networks and Internet of Things (CNIOT 2025) -EI Compendex
LATINCOM 2024   16th IEEE Latin-American Conference on Communications
IEEE CACML 2025   2025 4th Asia Conference on Algorithms, Computing and Machine Learning (CACML 2025)
LADC 2024   Latin-American Symposium on Dependable and Secure Computing
UR@FLAIRS 2025   Special Track on Uncertain Reasoning at FLAIRS-38