LANMR 202 0 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 an d industry worldwide to present recent research re sults on theory and applications on Logic, Languag es, Algorithms and Reasoning Methods. Researchers, engineers and experts are invited to submit high- quality papers to share and to discuss their lates t research results.
\nPapers should be written in English and formatted accordi ng to the Springer LNCS style, and not exceed 13 p ages excluding references and figures. Submissions in Spanish can also be considered, but we strongl y encourage authors to write in English. Each pape r will be peer-reviewed by two experts in the fiel d for originality, significance, clarity, impact, and soundness. Papers must not have been previousl y published or currently submitted for publication elsewhere.
\n