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]