KI 2012: Call for papers

Daniel Sonntag <[email protected]> Sun, 15 Jan 2012 21:21:42 +0100
Newsgroups gmane.org.w3.ontology.devel,gmane.comp.science.types.announce,gmane.comp.lang.lambda-prolog,gmane.science.mathematics.logic.asian,gmane.comp.science.concurrency,gmane.science.mathematics.logic.coq.club,gmane.comp.mathematics.mizar
Message-ID <[email protected]>
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D
CALL FOR PAPERS
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D
KI 2012, Saarbr=FCcken, 24-27 September, http://www.dfki.de/KI2012/

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

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

The conference invites significant, original, and previously unpublished=20
research from all areas of AI, its fundamentals, its algorithms, its=20
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=20
insights on the interplay of AI and the real world, as well as papers=20
that bring useful computational technologies from other areas of=20
computer science into AI.


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

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

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

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

All accepted papers will be published in the main conference=20
proceedings, and will be presented at the conference. At least one=20
author of each accepted paper must register for the conference and=20
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:=20
July 9, 2012

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


Organizers
---------------------------
General Chair: Antonio Kr=FCger (Saarland University and DFKI)
Program Chair: Birte Glimm (University of Ulm)
Local Chairs: Boris Brandherm (Saarland University) and Ralf Jung=20
(Saarland University)
Workshop Chair: Gabriele Kern-Isberner (TU Dortmund)
Tutorial Chair: Wolfgang Maa=DF (Saarland University)
Poster Chair: Stefan W=F6lfl (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:
[email protected]