Subject: Extended Deadline - DRT 04

Please distribute. Apologies for multiple postings.

**************** CALL FOR PAPERS ****************

DRT 04
Workshop on Deduction and Reasoning Techniques 2004

November 22-23 2004.Puebla, Mexico.

Co-located with IBERAMIA 2004 
9TH Ibero-American Conference on Artificial Intelligence

==================================================================

Paper submission deadline:     August 20th 2004  (EXTENDED)
(see below for details)

Web Site: http://mailweb.udlap.mx/~sc098382/iberamia/
Contact: sc098382@mail.udlap.mx
==================================================================

CALL FOR PAPERS

Authors are invited to submit papers presenting original and unpublished research work in all areas related to Deduction and Reasoning. The topics of interest of the workshop include, but are not limited to:

- Logic programming and nonmonotonic reasoning 
- Answer Set Programming
- Knowledge and Belief Representation
- Representation of Beliefs
- Satisfiability Problems
- Deduction Techniques
- Automated reasoning 
- Non-classical logics 
- Reasoning about situations and actions 
- Mathematical Structures (Algebraic, Topologic, etc.)
- Natural Language Processing.
- Knowledge Discovery and Data Mining.
- AI in Education and Intelligent Tutoring Systems

SUBMISSION INSTRUCTIONS 

Papers should be written in English, formatted according to the Springer LNCS style and should not exceed 8 pages including references and figures. Submissions in Spanish can also be considered, but we strongly encourage authors to write in English. 
Please visit the web page for submission details. 

IMPORTANT DATES

Paper submission: August 20th, 2004
Notification of acceptance: September 17th, 2004
Final version due: October 1st, 2004
DTS 04: November 22-23rd, 2004 

INTERNATIONAL COMMITTEE

Leopoldo Bertossi, Carleton University, Canada
Antonio Brogi, Universita' di Pisa, Italy
Pedro Cabalar, Universidad de Coruña, Spain
Marina De Vos, University of Bath, United Kingdom
Alfredo Gabaldón, University of Toronto, Canada
Vladik Kreinovich, University of Texas at El Paso, United States 
Alessandro Provetti, Universita' di Milano, Italy
Franco Salvetti, University of Colorado-Boulder, United States

LOCAL COMMITTEE

Jose Arrazola Ramirez, Benemerita Universidad Autonoma de Puebla, Mexico
Cesar Bautista, Benemerita Universidad Autonoma de Puebla, Mexico
Rogelio Davila Perez, Instituto Tecnologico y de Estudios Superiores de Monterrey - Campus Guadalajara, Mexico
Guillermo De Ita, Instituto Nacional de Astrofisica, Optica y Electronica,
Guillermo Morales, Centro de Investigacion y de Estudios Avanzados del IPN, Mexico
Mauricio Osorio, Universidad de las Americas, Puebla, Mexico

WORKSHOP CHAIRS

Dr. Mauricio Osorio Galindo 
Department of Computer Science and Engineering
Universidad de las Americas, Puebla. México
URL: http://www.udlap.mx/~josorio/ 
E-mail: josorio@mail.udlap.mx
 
Dr.  Jose Ramon Enrique Arrazola Ramírez 
Facultad de Ciencias Fisico-Matematicas
Benemerita Universidad Autonoma de Puebla, Mexico
E-mail: arrazola@fcfm.buap.mx

ORGANIZATION AND CONTACT

Claudia Zepeda Cortes, Universidad de las Americas - Puebla  
sc098382@mail.udlap.mx
Magdalena Ortiz, Universidad de las Americas - Puebla
is103378@mail.udlap.mx- This email was sent via mail - Checkout http://mail