Eigth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012

The Logic and Computation Mexican Group invites you to participate in the eigth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning to be held in September, from 10th to 11th September, 2012 at the Universidad Autonoma Metropolitana, Unidad Iztapalapa, Mexico, D.F.

The proceedings of LANMR 2012 will be published in CEUR Workshop Proceedings (CEUR WS.org) which is a publication service of Sun SITE Central Europe operated by RWTH Aachen University with the support of Tilburg University. CEUR-WS.org is recognized as a publication series by Deutsche Bibliothek, ISSN 1613-0073. Each accepted paper will also appear as a book chapter published by Fondo Editorial BUAP.

Suggested topics include are but not limited to:

IMPORTANT: It is expected that submitted papers are somehow related to Logic.