<?xml version="1.0" encoding="UTF-8"?>
<TEI xml:space="preserve" xmlns="http://www.tei-c.org/ns/1.0" 
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" 
xsi:schemaLocation="http://www.tei-c.org/ns/1.0 https://raw.githubusercontent.com/kermitt2/grobid/master/grobid-home/schemas/xsd/Grobid.xsd"
 xmlns:xlink="http://www.w3.org/1999/xlink">
	<teiHeader xml:lang="en">
		<fileDesc>
			<titleStmt>
				<title level="a" type="main"></title>
			</titleStmt>
			<publicationStmt>
				<publisher/>
				<availability status="unknown"><licence/></availability>
			</publicationStmt>
			<sourceDesc>
				<biblStruct>
					<analytic>
						<author>
							<affiliation key="aff0">
								<orgName type="institution" key="instit1">The Autonomous Univer-sity of Mexico State</orgName>
								<orgName type="institution" key="instit2">UAEM (La Universidad Autónoma del Estado de México)</orgName>
							</affiliation>
						</author>
					</analytic>
					<monogr>
						<imprint>
							<date/>
						</imprint>
					</monogr>
					<idno type="MD5">351BE851EEF61DE76799AAC02567E227</idno>
				</biblStruct>
			</sourceDesc>
		</fileDesc>
		<encodingDesc>
			<appInfo>
				<application version="0.7.2" ident="GROBID" when="2023-03-23T22:16+0000">
					<desc>GROBID - A machine learning software for extracting information from scholarly documents</desc>
					<ref target="https://github.com/kermitt2/grobid"/>
				</application>
			</appInfo>
		</encodingDesc>
		<profileDesc>
			<abstract>
<div xmlns="http://www.tei-c.org/ns/1.0"><p>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".</p><p>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.</p></div>
			</abstract>
		</profileDesc>
	</teiHeader>
	<text xml:lang="en">
		<body>
<div xmlns="http://www.tei-c.org/ns/1.0"><p>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 significant 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.</p></div>		</body>
		<back>

			<div type="acknowledgement">
<div xmlns="http://www.tei-c.org/ns/1.0"><p>This year the invited speakers provided means to explore ways in which their research may contribute to the identification and addressing of problems of common interest in the formal areas of Computer Science. We are grateful to the invited speakers: Raúl Monroy, Leopoldo Bertossi and Guillermo Morales, for taking the time and effort 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 staff for hosting and supporting our workshop in Valle de Bravo.</p><p>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 AUT ÓNOMO-META Space", (Digital Space for Autonomous Learning-Meta Space). We are also grateful to the EasyChair team for their support. This is the first time we use EasyChair for the workshop reviews and for part of the edition. November 3, 2014 Toluca, Mexico Juan C. Acosta Guillermo De Ita Luna Raymundo Marcial Mauricio Osorio Claudia Zepeda</p></div>
			</div>

			<div type="references">

				<listBibl/>
			</div>
		</back>
	</text>
</TEI>
