[ From: [log in to unmask] ]

CALL FOR PAPERS

Second International Symposium on Foundations of
Information and Knowledge Systems (FoIKS 2002)

Schloss Salzau (near Kiel), Germany, February 19-23, 2002

supported by the European Association for
Theoretical Computer Science (EATCS)

The goal of the biennial FoIKS symposia is to bring together
researchers working on the theoretical foundations of information and
knowledge systems and to attract researchers working in mathematical
fields such discrete mathematics, combinatorics, logics and finite
model theory who are interested to apply 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. The first FoIKS symposium was held in Burg/Spreewald
(Germany) in 2000. Former MFDBS conferences were held in Dresden
(Germany) in 1987, Visegrad (Hungary) in 1989 and in Rostock
(Germany) in 1991.

In addition the FoIKS symposium is intended to be a forum for intensive
discussions. For this reason the time slot of long and short contributions
is 60 and 30 minutes, respectively, followed by 30 and 15 minutes for
discussions, respectively. Furthermore, participants are asked in advance
to prepare as correspondents to a contribution of another author. In addition,
there are special sessions for the presentation and discussion of open research
problems.

FoIKS 2002 solicites 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, non-classical logics

Database Design: formal models, dependency theory, schema translations,
desirable properties, design primitives, design strategies

Query Languages: expressiveness, computational and descriptive complexity,
query languages for advanced datamodels, classification 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: constraint checking, verification and
validation of consistency, consistency enforcement, triggers

Information Integration: heterogenous data, views, schema dominance and
equivalence

Data- and Knowledge Base Dynamics: models of transactions, models of
interaction, updates in data- and knowledge bases, consistency preservation,
dynamic consistency, concurrency control, complexity of update propagation

Intelligent Agents: multi-agent systems, autonomous agents, foundations of
software agents, cooperative agents

Logics in Databases and AI: non-classical logics, temporal logics,
non-monotonic logics, spatial logics, probabilistic logics, deontic logic

Logic Programming: declarative logic programming, constraint programming,
inductive logic programming

Knowledge Representation: planning, description logics, knowledge and belief,
belief revision and update, non-monotonic formalisms, uncertainty

Reasoning Techniques: automated reasoning, satisfiability testing, abduction,
induction, theorem proving, constraint satisfaction, common-sense reasoning,
probabilistic reasoning, reasoning about actions

Submission of Papers.

Authors are cordially invited to submit an abstract by August 10, 2001 and a
paper by August 17, 2001. Connect to http://foiks.massey.ac.nz/ and follow
the instructions there.

Papers should not exceed 15 pages (single-spaced, 11pt, US letter or
A4 paper) for long presentations, and 10 pages for short
presentations, respectively. 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. The proceedings of FoIKS 2000 have been published as
LNCS vol. 1762. Same as with FoIKS 2000 we intend after the symposium
to ask authors of selected papers to prepare extended versions of
their papers for publication in a special issue of the `Annals of
Mathematics and Artificial Intelligence'.

Program Committee Co-chairs:

Thomas Eiter (Austria), Klaus--Dieter Schewe (New Zealand)

Program Committee:

Franz Baader (Germany)          Leopoldo Bertossi (Chile)
Joachim Biskup (Germany)        Marco Cadoli (Italy)
Alexandre Dikovsky (France)     Juergen Dix (Germany)
Fausto Giunchiglia (Italy)      Sven Hartmann (Germany)
Gyula Katona (Hungary)          Nicola Leone (Italy)
Neil Lesley (New Zealand)       Bernhard Nebel (Germany)
Vladimir Sazonov (UK)           Thomas Schwentick (Germany)
Dietmar Seipel (Germany)        V.S. Subrahmanian (USA)
Bernhard Thalheim (Germany)     Jose Maria Turull Torres (Argentina)
Jan Van den Bussche (Belgium)   Alexei Voronkov (UK)

Organization:

Hans-Joachim Klein (Germany), Bernhard Thalheim (Germany)

Important Dates:

Submission of Abstract                  August 10, 2001
Submission of Paper                     August 17, 2001
Notification of Acceptance/Rejection    October 18, 2001
Camera-ready version                    December 2, 2001
Symposium                               February 19-23, 2002

An up-to-date version of this Call for Papers is available at

        http://foiks.massey.ac.nz/cfp.html