posted by user: czepedac || 5218 views || tracked by 8 users: [display]

LANMR 2010 : SIXTH LATIN AMERICAN WORKSHOP ON NEW METHODS OF REASONING 2010 --Logic/Languages, Algorithms and New Methods of Reasoning

FacebookTwitterLinkedInGoogle

Link: http://lanmr.cs.buap.mx
 
When Nov 4, 2010 - Nov 5, 2010
Where Puebla, Mexico
Abstract Registration Due Jun 30, 2010
Submission Deadline Jul 16, 2010
Notification Due Sep 30, 2010
Final Version Due Oct 11, 2010
Categories    logic / languages   algorithms   methods of reasoning   non-monotonic reasoning
 

Call For Papers

*************************
*** WORKSHOP OVERVIEW ***
*************************

The Logic and Computation Mexican Group invites you to participate in the sixth Latin American Workshop on New Methods of Reasoning, to be held in November, from 4th to 5th, 2010 at the Facultad de Ciencias Fisico Matematicas, Benemerita Universidad Autonoma de Puebla (BUAP) in Puebla, Pue., Mexico.

The proceedings of LANMR'10 will be published in CEUR Workshop Proceedings (CEUR- WS.org) that 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.

Suggested topics include but are 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

It is expected a relation to Logic in the submitted papers.

A selection of extended workshop papers will be published in a special issue.


***********************
*** INVITED SPEAKER ***
***********************

Prof. Dr. Torsten Schaub, Institut f.r Informatik Universit.t Potsdam, Germany.

Received his diploma and dissertation in informatics in 1990 and 1992, respectively, from the TechnicalUniversity of Darmstadt, Germany.
He received his habilitation in informatics in 1995 from the University of Rennes I, France. From 1990 to 1993 he was a Researcher at the Technical University at Darmstadt. From 1993 to 1995, he was a Research Associate at IRISA/INRIA at Rennes. From 1995 to 1997, he was University Professor at the University of Angers. At Angers he founded the researchgroup FLUX dealing with the automatisation of reasoning from incomplete, contradictory, and evolutive information.
Since 1997, he is University Professor for knowledge processing and information systems at the University of Potsdam. In 1999, he became Adjunct Professor at the School of Computing Science at Simon Fraser University, Canada; and since 2006 he is also an Adjunct Professor in the Institute for Integrated and Intelligent Systems at
Griffiths University, Australia. His research interests range from the theoretic foundations to the practical implementation of methods for reasoning from incomplete and/or inconsistent information, in particular Answer set programming.

Email: torsten@cs.uni-potsdam.de
http://www.cs.uni-potsdam.de/~torsten/


******************
*** SUBMISSION ***
******************

Papers should be written in English and formatted according to the LNCS style, and not exceed 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 email with subject "LANMR10 Submission" to:osoriomauri@gmail.com and czepedac@gmail.com, with the PDF file of the paper as an attachment, and the following information in plain text in the body of the email:

--- Paper title.
--- Author names.
--- e-mail.
--- A short abstract.
--- Up to five keywords.

*************************
*** CAMERA READY COPY ***
*************************

Papers should be written in English, formatted using the LNCS style, not exceed 10 pages including references and figures.
To send the camera ready copy, the authors should send an email with subject "LANMR'09 Camera Ready Copy" to osoriomauri@gmail.com and czepedac@gmail.com, with a .zip file as an attachment. The .zip file should contain the paper in PDF format and the latex source files.
The following information should be in the body of the email:
--- Paper title.
--- Author names.


*************************
*** PROGRAM COMMITTEE ***
*************************

-- Jose Julio Alferes, New University of Lisbon, Portugal.
-- Leopoldo Bertossi, Carleton University, Canada.
-- Pedro Cabalar, Corunna University, Spain.
-- Stefania Costantini, University of L'Aquila, Italy.
-- Alberto Chavez, Universidad Autonoma de Tlaxcala, Mexico.
-- Alfredo Gabaldon, New University of Lisbon, Portugal.
-- Jesus Gonzalez, Instituto Nacional de Astrofisica, Optica y Electronica, Mexico.
-- Andrea Formisano, Universita di Perugia, Italy.
-- Raymundo Marcial, Universidad Autonoma del Estado de Mexico, Mexico.
-- Manuel Martin, Benemerita Universidad Autonoma de Puebla, Mexico.
-- Maria Auxilio Medina, Universidad Politecnica de Puebla, Mexico.
-- Luis Moniz Pereira, New University of Lisbon, Portugal.
-- Raul Monroy, Tecnologico de Monterrey Campus Estado de Mexico, Mexico.
-- Guillermo Morales, Centro de Investigacion y Estudios Avanzados del IPN , Mexico.
-- Juan Antonio Navarro, Max Planck Institute for Software Systems, Germany.
-- Juan Carlos Nieves, Universitat Politecnica de Catalunya, Spain.
-- Arturo Olvera, Benemerita Universidad Autonoma de Puebla, Mexico.
-- Magdalena Ortiz, Vienna University of Technology, Austria.
-- Manuel Pech, Instituto Tecnologico de Chetumal, Mexico.
-- Ricardo Perez, Universidad Tecnologica de la Mixteca, Mexico.
-- Alessandro Provetti, Universita di Milano, Italy.
-- Mario Rossainz, Benemerita Universidad Autonoma de Puebla, Mexico.
-- Abraham Sanchez, Benemerita Universidad Autonoma de Puebla, Mexico.
-- Mantas Simukus, Vienna University of Technology, Austria.
-- Christine Solnon, Universite Lyon 1, France.
-- Genoveva Vargas, Laboratory of Informatics of Grenoble, France.


**************************
*** STEERING COMMITTEE ***
**************************

Mauricio Osorio, Universidad de las Americas, Puebla, Mexico.
Claudia Zepeda, Benemerita Universidad Autonoma de Puebla, Mexico.
Ivan Olmos, Benemerita Universidad Autonoma de Puebla, Mexico.
Jose Luis Carballido, Benemerita Universidad Autonoma de Puebla, Mexico.
R. Carolina Medina, Universidad Autonoma Metropolitana, Mexico.

************************
*** LOCAL COMMITTEE ***
************************
Jose Arrazola, Benemerita Universidad Autonoma de Puebla, Mexico.

*************************************
*** CONTACT AND GENERAL INQUIRIES ***
*************************************

Jose Luis Carballido, jlcarballido7@gmail.com
--------------------------------------------------------
--------------------------------------------------------
Note: Accents have been omitted intentionally.

Related Resources

LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
LAJC 2024   Latin-American Journal of Computing
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
LATIN 2024   16th Latin American Theoretical Informatics Symposium
CVIPPR 2024   2024 2nd Asia Conference on Computer Vision, Image Processing and Pattern Recognition
LATINCOM 2024   16th IEEE Latin-American Conference on Communications
ACM-Ei/Scopus-SCDMC 2024   2024 International Conference on Soft Computing, Data Mining and Cybersecurity (SCDMC 2024)
LADC 2024   Latin-American Symposium on Dependable and Secure Computing
ACM-Ei/Scopus-AI2A 2024   2024 4th International Conference on Artificial Intelligence, Automation and Automation (AI2A 2024) -EI Compendex