Latin American Workshop on Logic Languages, Algorithms and New Methods of Reasoning (LANMR)

摘要

Since 2004, the Mexican Logic and Computation Mexican Group, GMLogyC has organized a number of meetings and workshops devoted to Logic and Computational Knowledge Representation. This initiative has been supported by a number of Mexican universities and research institutions. In particular GMLogyC organizes Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning (LANMR) a meeting of researchers in Computer Science Logic.rnLANMR workshops have been international forums where the Latin American community interested in formal areas of Computer Science, meets together for presenting and discussing the research and development carried out all over the world.