10 - 11 December 2020, Thirteenth Latin American Workshop on New Methods of Reasoning 2020 (LANMR 2020), Virtual
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.
Papers should be written in English and formatted according to the Springer LNCS style, and not exceed 13 pages excluding references and figures. Submissions in Spanish can also be considered, but we strongly encourage authors to write in English. Each paper will be peer-reviewed by two experts in the field for originality, significance, clarity, impact, and soundness. Papers must not have been previously published or currently submitted for publication elsewhere.