This volume contains the papers presented at LANMR 2014: 9th Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2014 held on November 5{7, 2014 in Valle de Bravo, Mexico. As previous years, this time we have extended our interest to include more general topics related to Computer Science. We use the LA acronim of LANMR to stand both for Languages/Logic + Algorithms, as well as for "Latin America". There were 18 submissions. Each submission was reviewed by at least 1, and on the average 2.7, program committee members. The committee decided to accept 8 papers. The program also includes no invited talks. This edition of the workshop has been organized by The Autonomous University of Mexico State, UAEM (La Universidad Autonoma del Estado de Mexico). The aim of the workshop was to bring together active researchers in formal areas of Computer Science (CS) such as Logic, Formal languages, Algorithms, and Non-Monotonic Reasoning. Particular topics of interest were: knowledge representation, belief revision, reasoning about actions, planning, logic programming, causality and algorithms complexity. In Latin America there are research groups interested in these areas. The number of papers and workshops submitted to di erent congresses related to Computer Science, such as IBERAMIA, ENC and MICAI, provides evidence of such interest. As a result, LANMR Workshop is designed to promote cooperation among practitioners and researchers across disciplines who are interested in the formal areas of Computer Science. The aims of the workshop were to: { present innovative theoretical work and original applications of the formal areas of Computer Science, { exchange ideas and to facilitate interaction between researchers of the formal areas of Computer Science, { discuss signi cant recent achievements in theory and automation based on formal areas of Computer Science, { present critical short- and long-term goals for formal areas of Computer Science, { provide a forum for students to present their current research in formal areas of Computer Science, and receive feedback from other students and researchers. This year the invited speakers provided means to explore ways in which their research may contribute to the identi cation and addressing of problems of common interest in the formal areas of Computer Science. We are grateful to the invited speakers: Raul Monroy, Leopoldo Bertossi and Guillermo Morales, for taking the time and e ort to attend the workshop. We also thank "Cuerpo Acadmico de Sistemas Computacionales", a research group from The Faculty of Engineering, UAEM, for their support. Finally, we greatly appreciate the local committee and sta for hosting and supporting our workshop in Valle de Bravo. This year we received sponsorship from El Consejo Nacional de Ciencia y Tecnolog a, CONACYT, (The National Council for Science and Technology,
Mexico), to the project title: "ESPACIO DIGITAL PARA EL APRENDIZAJE AUTONOMO-META Space", (Digital Space for Autonomous Learning-Meta Space). We are also grateful to the EasyChair team for their support. This is the rst time we use EasyChair for the workshop reviews and for part of the edition.
Juan C. Acosta Guillermo De Ita Luna
Raymundo Marcial
Mauricio Osorio Claudia Zepeda