Logic List Mailing Archive

Deadline extension: KI 2013: Artificial Intelligence

16-20 Sep 2013
Koblenz, Germany

Please be informed that we will extend the deadline for KI2013 until May 
3rd (a general CfP with the deadline extension will be disseminated 
today). First papers have arrived and we are looking forward to many 
interesting submissions. We would be also happy to receive submissions 
from you or members of your groups.

Please, let us provide you with the important dates for the reviewing process:
1.) submission deadline: May 3rd
2.) paper bidding process from May 3rd until May 7th
3.) reviewing period from May 9th until June 6th
4.) discussion period from June 7th until Jun 13th
5.) All final reviews entered: June 14th

Thank you very much for your support of KI2013!

Kind regards,
Ingo J. Timm and Matthias Thimm


====================================================

   KI 2013 From Research to Innovation and Practical Applications
   36th Annual Conference on Artificial Intelligence
   Koblenz, September 16-20, 2013
   http://ki2013.uni-trier.de

===================================
*** Extended deadline: 3.5.2013 ***
===================================

CO-LOCATED EVENTS:
INFORMATIK-2013: Annual Meeting Gesellschaft für Informatik e.V. (GI)
MATES-2013: 11th German Conference on Multi-Agent System Technologies


KI 2013 From Research to Innovation and Practical Applications

36th Annual Conference on Artificial Intelligence
Koblenz, September 16-20, 2013

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

KI 2013 will take place in Koblenz, Germany, September 16th-20th, 2013,
and is a premier forum for exchanging news and research results on
theory and applications of intelligent system technology. The conference
is organized by the Artificial Intelligence section of the German Informatics
Society (GI e.V.) . KI 2013 is co-located with Informatik 2013 (Annual
Conference of the German Informatics Society), the 11th MATES 2013
(German Conference on Multi-Agent System Technologies), and the 4th
JAWS (Joint Agent Workshops in Synergy). The conference invites original
research papers from all areas of AI, its fundamentals, its algorithms, its
history and its applications.

----
Invited speakers
----
Together with MATES 2013, several keynotes, which are delivered by
highly renowned scientists on relevant topics of the broad area of artificial
intelligence and intelligent agent technology.

For details see:  http://ki2013.uni-trier.de/index.php?id=13

----
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 Artificial Intelligence 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
?	Artificial General 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 poster

contributions.

Full technical papers are expected to report on new research that makes a
substantial technical contribution to the field. Poster submissions are also
included in the main proceedings and can report on new research or other
issues of interest to the AI community. Examples of work suitable for poster
submissions 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. Poster submissions are
especially invited for software demonstration or PhD work in progress.

Submission of papers is handled via ConfTool

https://www.conftool.pro/informatik2013/index.php?page=newPaper&form_contributiontypeID=10&newpaper=true

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.
The KI 2013 proceedings will be published by Springer as a volume of the
LNAI (Lecture Notes in Artificial Intelligence) series.

================================
Important Dates
--------------------------------------------------------
Paper submission: 3.5.2013
Acceptance notification: 17.6.2013
Final version due: 1.7.2013
KI Conference: 16.-20.9.2013
================================


-------------------------------------
Main Organizers of KI 2013
-------------------------------------

Ingo J. Timm (General Chair, Univ. Trier)
Matthias Thimm (Local Chair, Univ. Koblenz-Landau)
Ute Schmid (Workshop Chair, Univ. Bamberg)
Jürgen Sauer (Tutorial Chair, Univ. Oldenburg)
Stefan Kirn (Industry Chair, Univ. Hohenheim)
Andreas D. Lattner (Doctoral Consortium Chair, Goethe-Univ. Frankfurt)

General Chair and Contact
Prof. Dr. Ingo J. Timm
University of Trier
54286 Trier
Email: ingo.timm@uni-trier.de
http://ki2013.uni-trier.de