<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>José Raymundo Marcial Romero</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Alta Tecnología Aplicada. Claudia Zepeda Cortés</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Benemérita Universidad Autónoma de Puebla.</string-name>
        </contrib>
      </contrib-group>
      <pub-date>
        <year>2018</year>
      </pub-date>
      <abstract>
        <p>This issue honoring the memory of colleague and friend José Ramón Enrique Arrazola Ramirez, Professor of mathematics at the Benemérita Universidad Autónoma de Puebla, died October 26, 2018. We recognize his remarkable career and essential contributions to the research of logic and modeling. LANMR will miss him. The Eleventh edition of the workshop was organized by the Benemérita Universidad Autónoma de Puebla, the Universidad de las Américas-Puebla, and the Universidad Autónoma del Estado de México. The workshop aimed to bring together active researchers in formal areas of Computer Science such as Logic, Formal languages, Algorithms, and NonMonotonic 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 is José Antonio Hernández-Servín, Professor of the Universidad Autónoma del Estado de México. He will provide means to</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>explore ways in which his research may contribute to the identification and
addressing of problems of common interest in the formal areas of Computer
Sciences.</p>
      <p>We also thank the Benemérita Universidad Autónoma de Puebla, and the
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.</p>
    </sec>
  </body>
  <back>
    <ref-list />
  </back>
</article>