[TYPES] CFP: MICAI-2005 Artificial Intelligence,
Springer LNAI: submission reminder and CFP-2
Alexander Gelbukh (MICAI)
cfp2005 at micai.org
Mon May 2 20:19:17 EDT 2005
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.
4th Mexican International Conference on
November 14-18, 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
- 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
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
All submissions will be subject to blind peer review by three program
*** 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
- Qualitative Reasoning
- Model-Based Reasoning
- Constraint Programming
- Common Sense Reasoning
- Case-Based Reasoning
- Nonmonotonic Reasoning
- Spatial and Temporal Reasoning
- Planning and Scheduling
- 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.
More information about the Types-list