The Logic and Computation Mexican Group invites you to participate in the seventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning to be held at Universidad Autonoma del Estado de México in Toluca, Estado de Mexico, Mexico from 7 - 8 November, 2011.

The proceedings of LANMR'11 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:

• Logic programming and non-monotonic reasoning
• Algorithms applied to logic
• Answer Set Programming
• Knowledge representation
• Belief representation
• Paraconsistent logics
• Deduction techniques
• Automated reasoning
• Non-classical logics
• Reasoning about situations and actions
• Planning
• Algorithms for graph theory in AI
• Multi-agent systems
• Preferences
• Default and abductive reasoning
• Well-founded semantics
• Cognitive agents
• Novel applications
• Natural language
• Argumentation