Fourth International Symposium on

Foundations of Information and Knowledge Systems (FoIKS)

Important Dates:
Paper submission: Aug 19, 2005
Author notification: Oct 14, 2005
Early registration: Jan 31, 2006
Symposium: Feb 14-17, 2006
 

Call for Papers   (PDF)

The goal of the FoIKS symposia, which take place once every two years, is to bring together researchers working on the theoretical foundations of information and knowledge systems and to attract researchers working in mathematical fields such as discrete mathematics, combinatorics, logics and finite model theory who are interested in applying their theories to research on database and knowledge base theory.

FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which enabled East-West collaboration in the field of database theory.
Previous FoIKS symposia were held in Burg/Spreewald (Germany) in 2000, at Schloß Salzau near Kiel (Germany) in 2002, and in Vienna (Austria) in 2004. Former MFDBS conferences were held in Dresden (Germany) in 1987, Visegrad (Hungary) in 1989 and in Rostock (Germany) in 1991.

The FoIKS symposium is intended to be a forum for intensive discussions. For this reason there are time slots for long and for short contributions; the long contributions will be significantly longer than usual contributions at conferences. Furthermore, participants are asked in advance to prepare as correspondents to a contribution of another author.

Topics

FoIKS 2006 solicits contributions dealing with any foundational aspect of information and knowledge systems. Typical, but not exclusive topics of interest are:
  • Mathematical Foundations: discrete methods, boolean functions, finite model theory
  • Database Design: formal models, dependency theory, schema translations, desirable properties
  • Query Languages: expressiveness, computational and descriptive complexity, query languages for advanced data models, classifications of computable queries
  • Semi-Structured Databases and WWW: models of web databases, querying semi-structured databases, web transactions and negotiations
  • Security in Data and Knowledge Bases: cryptography, steganography, information hiding
  • Integrity and Constraint Management: verification, validation, and enforcement of consistency, triggers
  • Information Integration: heterogeneous data, views, schema dominance and equivalence
  • Database and Knowledge Base Dynamics: models of transactions, models of interaction, updates, consistency preservation, concurrency control
  • Intelligent Agents: multi-agent systems, autonomous agents, foundations of software agents, cooperative agents
  • Logics in Databases and AI: non-classical logics, spatial and temporal logics, probabilistic logics, deontic logic, logic programming
  • Knowledge Representation: planning, description logics, knowledge and belief, belief revision and update, non-monotonic formalisms, uncertainty
  • Reasoning Techniques: theorem proving, abduction, induction, constraint satisfaction, common-sense reasoning, probabilistic reasoning, reasoning about actions

Submission of Papers

Papers must be typeset using the Springer-Verlag LaTeX2e style llncs for Lecture Notes in Computer Science, which is available for download as the file llncs2e.zip here. The length should not exceed 20 pages for full papers and 10 pages for short papers, respectively. Submissions which deviate substantially from these guidelines may be rejected without review. Initial submissions must be in Postscript or PDF format, but authors should keep in mind that the LaTeX2e source must be submitted for the final versions of accepted papers. Submissions in alternate formats, such as Microsoft Word, cannot be accepted for either initial or final versions. The submissions will be judged for scientific quality and for suitability as a basis for broader discussion. The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science series and will be available at the workshop.

After the symposium authors of selected papers will be asked to prepare extended versions of their papers for publication in a special issue of the journal Annals of Mathematics and Artificial Intelligence.

Electronic Submission

Submission to FoIKS 2006 is closed.

Important Dates

Abstract submission deadline: August 19, 2005 (firm)
Paper submission deadline: August 19, 2005 (firm)
Author notification: October 14, 2005
Camera ready paper due: November 18, 2005
Early registration due: January 31, 2006
Late registration: from February 01, 2006
Symposium in Budapest, Hungary: February 14-17, 2006

Conference Chairs

Program Committee Co-Chairs

Jürgen Dix
Clausthal University of Technology, Germany
Email:   dix@informatik.tu-clausthal.de
WWW:   http://www.in.tu-clausthal.de/~dix/

Stephen J. Hegner
Umeå University, Sweden
Email:   hegner@cs.umu.se
WWW:   http://www.cs.umu.se/~hegner/

Local Arrangements Chair

Dezsõ Miklós
Hungarian Academy of Sciences
Email:   dezso@renyi.hu
WWW:   http://www.renyi.hu/~dezso/

Publicity Chair

Markus Kirchberg
Massey University, New Zealand
Email:   Markus@theKirchbergs.info
WWW:   http://work.theKirchbergs.info/

Program Committee

Peter Baumgartner   Max-Planck Institute for Computer Science, Germany
Leopoldo Bertossi   Carleton University, Canada
Joachim Biskup   University of Dortmund, Germany
Piero Bonatti   University of Naples, Italy
Stefan Brass   University of Halle-Wittenberg, Germany
Jürgen Dix   Clausthal University of Technology, Germany
Guozhu Dong   Wright State University, USA
Thomas Eiter   Vienna University of Technology, Austria
Burkhard Freitag   University of Passau, Germany
Floris Geerts   University of Edinburgh, UK and University of Limburg, Belgium
Sven Hartmann   Massey University, New Zealand
Stephen J. Hegner   Umeå University, Sweden
Lauri Hella   University of Tampere, Finland
Gyula Katona   Hungarian Academy of Sciences, Hungary
Gabriele Kern-Isberner   University of Dortmund, Germany
Hans-Joachim Klein   University of Kiel, Germany
Christoph Koch   Vienna University of Technology, Austria
Nicola Leone   University of Calabria, Italy
Mark Levene   Birbeck University of London, UK
Ilkka Niemelä   Helsinki University of Technology, Finland
Domenico Saccà   University of Calabria, Italy
Attila Sali   Hungarian Academy of Sciences, Hungary
Vladimir Sazonov   University of Liverpool, UK
Nicole Schweikardt   Humboldt University, Germany
Dietmar Seipel   University of Würzburg, Germany
Nicolas Spyratos   University of Paris-South, France
Bernhard Thalheim   University of Kiel, Germany
Rodney Topor   Griffith University, Australia
José María Turull-Torres   Massey University, New Zealand
Andrei Voronkov   University of Manchester, UK
Marina de Vos   University of Bath, UK
Enquiries:
(program and submission)     Jürgen Dix (dix@tu-clausthal.de), Stephen J. Hegner (hegner@cs.umu.se)
(local arrangements)     Dezsõ Miklós (dezso@renyi.hu)

Copyright © 2005 Markus Kirchberg, Markus Kirchberg (Markus@theKirchbergs.info).