[TYPES] CFP: MICAI-2005 Artificial Intelligence, Springer LNAI: submission reminder and CFP-2

[Alexander Gelbukh (MICAI)]

Dear members of TYPES list,

I think the following CFP is relevant for the Types list since type theory
and logical reasoning has direct connection with Artificial Intelligence. So
I invite the member of the list to publish their papers in the Proceedings
of this conference.

Alexander Gelbukh
www.Gelbukh.com

        MICAI 2005

        4th Mexican International Conference on 
        ARTIFICIAL INTELLIGENCE

        November 14-18, 2005
        Monterrey, Mexico

        www.MICAI.org/2005

        Proceedings: Springer LNAI.
        Submission: May 29 (abstract May 22).
        Keynote speakers: see website.


        SECOND CALL FOR PAPERS

*** WHAT'S NEW ***

- Submission is now open. We strongly encourage you to register your
abstract right now, as expression of interest (you can upload the full paper
later).

- Collocated workshops: Natural Language Understanding and Intelligent
Information Access; others to be announced.


*** GENERAL INFORMATION ***

MICAI is a high-level international conference covering all areas of
Artificial Intelligence. Acceptance rate of MICAI-2004 was 38% of
submissions from 19 countries. See www.MICAI.org for more info.


*** PAPER SUBMISSION ***

All accepted papers will be published by Springer-Verlag in their Lecture
Notes in Artificial Intelligence (LNAI).

Authors are invited to submit original previously unpublished research
papers, in English, up to 10 pages, strictly following the LNCS/LNAI format
guidelines.

Submissions are received through the website, see www.MICAI.org/2005. The
title and  abstract must be submitted by May 22, then the full paper by May
29.

All submissions will be subject to blind peer review by three program
committee members.


*** IMPORTANT DATES ***

May 22: Paper registration deadline (title and abstract required).
May 29: Paper submission deadline (only papers registered by May 22).
July 17: Acceptance notification.
August 7: Camera-ready deadline.


*** TOPICS ***

Topics of interest are all areas of Artificial Intelligence, including but
not limited to:

- Expert Systems / KBS
- Multiagent systems and Distributed AI
- Knowledge Management
- Intelligent Interfaces: Multimedia, Virtual Reality
- Natural Language Processing / Understanding
- Computer Vision
- Neural Networks
- Genetic Algorithms
- Fuzzy logic
- Belief Revision
- Machine Learning
- Intelligent Tutoring Systems
- Data Mining
- Knowledge Acquisition
- Knowledge Representation
- Knowledge Verification, Sharing and Reuse
- Ontologies
- Qualitative Reasoning
- Model-Based Reasoning
- Constraint Programming
- Common Sense Reasoning
- Case-Based Reasoning
- Nonmonotonic Reasoning
- Spatial and Temporal Reasoning
- Robotics
- Planning and Scheduling
- Navigation
- Assembly
- Hybrid Intelligent Systems
- Logic Programming
- Automated Theorem Proving
- Intelligent Organizations
- Uncertainty / Probabilistic Reasoning
- Philosophical and Methodological Issues of AI


*** CONFERENCE ORGANIZATION ***

Conference Chairs: Alvaro de Albornoz, Angel Kuri.
Program Chairs: Alexander Gelbukh, Raul Monroy.
Tutorial Chairs: Manuel Valenzuela, Horacio Martinez.
Workshop Chairs: Ramon Brena, Jose Luis Aguirre.
Keynote Talks Coordinator: Carlos Alberto Reyes.
Local Chair: Hugo Terashima.
Local Steering Committee: Rogelio Soto, Ricardo Swain.


*** CONTACT ***

General inquiries: micai2005 at MICAI dot org.
Inquiries on submission requirements: submission at MICAI dot org.
Inquiries on the conference program: program at MICAI dot org.
See more contact options on www.MICAI.org/2005.

We apology if you receive this CFP more than once. 
PLEASE CIRCULATE this CFP among your students and colleagues.