Logic List Mailing Archive

KI 2012: Artificial Intelligence

24-27 Sep 2012
Saarbruecken, Germany

===========================
CALL FOR PAPERS
===========================
KI 2012, Saarbrcken, 24-27 September, http://www.dfki.de/KI2012/

KI 2012 is the 35th edition of the German Conference on Artificial 
Intelligence, which traditionally brings together academic and industrial 
researchers from all areas of AI. The technical programme of KI 2012 will 
comprise paper and poster presentations and a variety of workshops and 
tutorials.

KI 2012 will take place in Saarbrcken, Germany, September 24-27, 2012, and is 
a premier forum for exchanging news and research results on theory and 
applications of all aspects on AI.

The conference invites significant, original, and previously unpublished 
research from all areas of AI, its fundamentals, its algorithms, its history, 
and its applications.

Areas of interest include, but are not limited to:

* Knowledge Acquisition, Representation, Reasoning and Ontologies
* Combinatorial Search, Configuration, Design and Deduction
* Natural Language Processing, Statistical NLP, Semantics
* Planning and Scheduling; Spatial and Temporal Reasoning
* Reasoning under Uncertainty, Probabilistic Inferences
* Non-Monotonic Reasoning and Default Logics
* Constraint Satisfaction, Processing and Programming
* Embodied AI: Robotics, Vision and Perception
* Intelligent Information Retrieval, Semantic Search, Semantic Web
* Evolutionary and Neural Computation
* Machine Learning, Computational Learning Theory and Data-Mining
* Distributed Problem Solving and Multi-Agent Systems
* Game Playing and Interactive Entertainment, AI for Graphics
* Game Theory and General Game Playing, Generalized Intelligence
* AI for Human-Computer-Interaction and Adaptive Communication
* Mobile Solutions with Textile, Semantic and Spatial Media
* Augmented Reality, Smart Cities, Smart Traffic, Smart Hardware
* Assistance Systems in Living and Working Environments
* Software-Engineering, Model Checking and Security in AI
* Distributed Computation and Swarm Intelligence
* Cognitive Modelling, AI and Psychology
* History and Philosophical Foundations of AI
* Applications including Logistics, Production and Health Care

We especially welcome application papers and posters providing novel insights 
on the interplay of AI and the real world, as well as papers that bring useful 
computational technologies from other areas of computer science into AI.


Submission Guidelines
---------------------------
Submitted papers, which have to be in English, must not exceed 12 pages in 
Springer LNCS style for full technical contributions and 4 pages for short 
contributions.

Full technical papers are expected to report on new research that makes a 
substantial technical contribution to the field.

Short papers can report on new research or other issues of interest to the AI 
community. Examples of work suitable for short papers include: novel ideas that 
are not yet fully developed or whose scope is not large enough for a full 
paper; important implementation techniques; novel interesting benchmark 
problems; short experimental studies; interesting applications that are not yet 
completely solved or analyzed; position or challenge papers; etc.

Papers will be subject to blind peer review. All papers will be reviewed based 
on the standard criteria of relevance, significance of results, originality of 
ideas, soundness, and quality of the presentation.

All accepted papers will be published in the main conference proceedings, and 
will be presented at the conference. At least one author of each accepted paper 
must register for the conference and present the contribution.


Important Dates
---------------------------
Workshop and tutorial proposals deadline: April 1, 2012
Workshop and tutorial proposals notification: April 15, 2012
Full paper submission deadline: May 1, 2012
Notification (full paper): July 1, 2012
Submission deadline for poster, doctoral consortium and workshop papers: July 
9, 2012

Deadline for camera ready copy (full paper): July 13, 2012
Notification (poster, doctoral consortium and workshop papers): August 31, 2012
Conference: September 24-27, 2012


Organizers
---------------------------
General Chair: Antonio Krger (Saarland University and DFKI)
Program Chair: Birte Glimm (University of Ulm)
Local Chairs: Boris Brandherm (Saarland University) and Ralf Jung (Saarland 
University)
Workshop Chair: Gabriele Kern-Isberner (TU Dortmund)
Tutorial Chair: Wolfgang Maa (Saarland University)
Poster Chair: Stefan Wlfl (University of Freiburg)
Doctorial Consortium Chair: Carsten Lutz (University of Bremen)
Publicity Chair: Daniel Sonntag (DFKI)


Contact
---------------------------

Details and updates will be available on the conference web site:
http://dfki.de/KI2012

For questions about the CfP or program, please contact:
birte.glimm@uni-ulm.de