Logic / Languages, Algorithms, New Methods of Reasoning
LANMR 2019 is the twelfth 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 2019 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 Popular Autónoma del Estado de Puebla.
LANMR will be held the November 15th, 2019 at Universidad Popular Autónoma del Estado de Puebla, Puebla. The proceedings of LANMR 2019 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: