Logic / Languages, Algorithms, Non-Monotonic Reasoning
The Logic and Computation Mexican Group and "Cuerpo Académico de Sistemas Distribuidos, FCC-BUAP" invites you to participate in the fifth Latin American Workshop On Non-Monotonic Reasoning, to be held in November, from 5th to 6th, 2009 at the Facultad de Ciencias Básicas, Ingeniería y Tecnología, Universidad Autónoma de Tlaxcala (UAT) in Apizaco, Tlaxcala, México.
The aim of this fifth LANMR workshop is to bring together active researchers from different academic institutions who share a common interest in formal areas of Computer Science (CS) such as Logic, Formal languages, Algorithms, and Non-Monotonic reasoning.
Authors are invited to submit papers presenting original and unpublished research in all areas related to logic and computation. Suggested topics include:
NOTE: A relation to logic is expected from the submitted papers.