***DEADLINE EXTENDED BY ONE WEEK, NOW: June 15th, 2007***


                         LAST CALL FOR PAPERS

        Foundations of Artificial Intelligence 2007 (FAInt-07)

    Workshop at KI 2007, Osnabrück, September 10th, 2007

          http://logic.aifb.uni-karlsruhe.de/wiki/FAInt-07


==Important Dates==

Submission deadline: June 15th, 2007
Notification of acceptance: July 13th, 2007
Camera-ready versions due: July 27th, 2007

==Keynote speaker==

Wolfgang Maass, TU Graz: The difficult search for intelligence in neural circuits

==Organisers==
    * Pascal Hitzler, AIFB, Universität Karlsruhe
    * Thomas Roth-Berghofer, DFKI Kaiserslautern
    * Sebastian Rudolph, AIFB, Universität Karlsruhe

Contact: Sebastian Rudolph, sru@aifb.uni-karlsruhe.de

==Submissions==

Submitted papers, which have to be in English, must not exceed 15 pages in Springer LNCS style and must be submitted in pdf format. Submission is via email to sru@aifb.uni-karlsruhe.de. At least one author per accepted paper must register for the workshop and present the contribution.

Papers will be published in the workshop proceedings, which will appear online as CEUR Workshop Proceedings (bearing an ISSN number). Authors of best papers will be invited to submit extended versions to a special issue of a major journal.

==Programme Committee==

    * Jürgen Dix, TU Clausthal, Germany
    * Thomas Eiter, TU Vienna, Austria
    * Ulrich Furbach, University of Koblenz, Germany
    * Dov Gabbay, King's College London, UK
    * Bernhard Ganter, TU Dresden, Germany
    * Ruth Hagengruber, Universität Paderborn, Germany
    * Hans Kamp, University of Stuttgart, Germany
    * Kai-Uwe Kühnberger, University of Osnabrück, Germany
    * Markus Krötzsch, University of Karlsruhe (TH), Germany
    * David Leake, Indiana University Bloomington, USA
    * Benedikt Löwe, Universiteit van Amsterdam, The Netherlands
    * Claudio Masolo, LOA CNR Trento, Italy
    * Rainer Osswald, Fernuniversität Hagen, Germany
    * Anthony K. Seda, University College Cork, Ireland
    * Matthias Wendt, University of Leipzig, Germany
    * Guo-Qiang Zhang, CWRU Cleveland, USA

==Scope==

Within the course of the last 50 years, Artificial Intelligence has developed into a major field of research with a multitude of facets and application areas. While, in general, Artificial Intelligence research is driven by applica-tion needs, it is nevertheless a fact that foundational questions and theoretical insights have always been one of the driving forces behind its development. This includes the quest for realising intelligent behaviour in artificial systems as envisioned in the early days of AI research. But it also comprises biological inspirations e.g. for robot design, artificial neural networks, or emergent intelligence, as well as logical underpinnings of automated deduc-tion and knowledge representation.

Indeed, formal and foundational aspects of artificial intelligence are being studied in many sub areas in order to serve application needs. It lies in the nature of such fundamental research that a critical mass of different formal perspectives can generate a cross-fertilization of ideas and applications. We therefore intend to bring together researchers working on foundational aspects of Artificial Intelligence across different communities, in order to stimulate an exchange of ideas and methods between them.

The workshop is intended for researchers which contribute to the
mathematical,
logical,
statistical,
psychological,
linguistic,
cognitive,
philosophical,
biological,
and other foundations of artificial intelligence research.