The workshop aimed to bring together active researchers in formal areas of Computer Science such as Logic, Formal languages, Algorithms, and Non-Monotonic Reasoning. In Latin America, there are several research groups interested in these areas. The number of papers and workshops submitted to different congresses related to Computer Sciences such as IBERAMIA, ENC, and MICAI provides evidence of such interest. So, LANMR workshop is designed to promote cooperation among practitioners and researchers across disciplines who are interested in the formal areas of Computer Sciences. The aims of the workshop were: to present innovative theoretical work and original applications of the formal areas of Computer Sciences, to exchange ideas and to facilitate interaction between researchers of the formal areas of Computer Sciences, to discuss significant recent achievements in the theory and automation based on the formal areas of Computer Sciences, to present critical short and long-term goals for the formal areas of Computer Sciences, to provide a forum for students to present their current research in the formal areas of Computer Sciences, and receive feedback from other students and researchers. We want to thank all authors who submitted papers as well as all the referees for their expertise and the time they put into carefully reviewing the papers. This year the invited speaker was Adolfo García de la Sienra, Professor of the Universidad Veracruzana. He has provided the talk Non-standard Utility Functions. We also thank the Universidad Popular Autónoma del Estado de Puebla, Benemérita Universidad Autónoma de Puebla, and Universidad Autónoma del Estado de México for their support. We much appreciate the Local Committee and staff for hosting and supporting the Workshop. We are also grateful to the EasyChair team for their support.