LANMR 2011 : Seventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning 2011
Call For Papers
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 Autónoma del Estado de México in Toluca, Estado de Mexico, Mexico from the 7th to the 8th of 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
- 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
- Algorithms for graph theory in AI
- Multi-agent systems
- Default and abductive reasoning
- Well-founded semantics
- Cognitive agents
- Novel applications
- Natural language
It is expected that submitted papers are somehow related to Logic.
*** SUBMISSION ***
Papers should be written in English and formatted according to the LNCS style, and not to be exceeded 10 pages including references and figures. Submitted papers will be subject to a double-blind review process. To submit a paper, the authors should send an e-mail with the legend "LANMR11 Submission" in the subject to email@example.com and firstname.lastname@example.org, and as an attachment the file of the paper in pdf format. Please, also add the following information in plain text in the body of the email:
--- Paper title.
--- Author names.
--- A short abstract.
--- Up to five keywords.
*** IMPORTANT DATES ***
Abstract Submission :
Camera Ready Copy:
Workshop : 08 July, 2011
15 July, 2011
03 Sept, 2011
14 Sept, 2011
7-8 November, 2011
*** STEERING COMMITTEE ***
Mauricio Osorio, Universidad de las Américas, Puebla, México.
José Arrazola, Benemérita Universidad Autónoma de Puebla, México.
Claudia Zepeda, Benemérita Universidad Autónoma de Puebla, México.
Iván Olmos, Benemérita Universidad Autónoma de Puebla, México.
José Luis Carballido, Benemérita Universidad Autónoma de Puebla, México.
Carolina Medina, Universidad Autónoma Metropolitana-Iztapalapa, México.
*** LOCAL COMMITTEE ***
José Raymundo Marcial, Universidad Autónoma del Estado de México, México.
José Antonio Hernández, Universidad Autónoma del Estado de México, México.
*** CONTACT AND GENERAL INQUIRIES ***
José Luis Carballido, email@example.com