FoIKS 2004

The
Third International Symposium on Foundations of Information and Knowledge Systems (FoIKS)
will take place in Hotel/Castle Wilhelminenberg, Vienna (Austria)
from February 17 to February 20 in 2004. EATCS

The symposium is supported by the European Association for Theoretical Computer Science (EATCS),
the Association for Symbolic Logic (ASL), and
the Austrian Computer Society (OCG).

The goal of the FoIKS symposium, 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 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, and the second FoIKS symposium was held in Schloß Salzau near Kiel (Germany) in 2002. 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.

The Third International Symposium on Foundations of Information and Knowledge Systems (FoIKS) will take place in Hotel/Castle Wilhelminenberg, Vienna (Austria) from February 17 to February 20 in 2004.
The symposium is supported by the European Association for Theoretical Computer Science (EATCS), the Association for Symbolic Logic (ASL), and the Austrian Computer Society (OCG).