LANMR 2020 is the thirteenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning. The aim of the 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 2020 will provide a forum where participants can exchange their ideas and experiences through high-quality peer-reviewed papers. The Workshop features a two-day program including invited talks by recognized scientists, as well as oral presentations of technical papers.
This year the LANMR workshop is organized by the Benemerita Universidad Autónoma de Puebla, Universidad Autónoma del Estado de México and the Universidad Nacional Autónoma de México through Facultad de Ciencias (PAPIIT IN119920) and Facultad de Ingeniería (PAPIIT IA105420). LANMR 2020 will be held on December 10th and 11th, 2020 fully online due to the COVID19 outbreak.
The proceedings of LANMR 2020 will be published in CEUR Workshop Proceedings (CEUR WS.org). Furthermore, accepted theoretical computer science papers that 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 a special issue of this journal.
Topics of interest include, but are not limited to: