<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<tt>[Apologies for multiple copies]<br>
<br>
<br>
-------------------------------------------------------<br>
C A L L F O R P A R T I C I P A T I O N<br>
-------------------------------------------------------<br>
<br>
Seventh International Symposium<br>
<br>
on<br>
<br>
Foundations of Information and Knowledge Systems<br>
<br>
(FoIKS 2012)<br>
<br>
March 5-9, 2012 -- Kiel, Germany<br>
<br>
<a class="moz-txt-link-freetext" href="http://2012.foiks.org/">http://2012.foiks.org/</a><br>
<br>
<br>
</tt><tt>The FoIKS symposia provide a biennial forum for presenting
and discussing<br>
theoretical and applied research on information and knowledge
systems. The <br>
goal is to bring together researchers with an interest in this
subject, <br>
share research experiences, promote collaboration and identify new
issues <br>
and directions for future research.<br>
<br>
FoIKS 2012 solicits original contributions dealing with any
foundational <br>
aspect of information and knowledge systems. This includes
submissions that <br>
apply ideas, theories or methods from specific disciplines to
information <br>
and knowledge systems. Examples of such disciplines are discrete
mathematics, <br>
logic and algebra, model theory, information theory, complexity
theory, <br>
algorithmics and computation, statistics and optimisation.<br>
<br>
Previous FoIKS symposia were held in Sofia (Bulgaria) in 2010,
Pisa (Italy) in<br>
2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004,
Schloss Salzau near<br>
Kiel (Germany) in 2002, and Burg/Spreewald near Berlin (Germany)
in 2000 (see<br>
<a class="moz-txt-link-freetext" href="http://www.foiks.org/">http://www.foiks.org/</a>). FoIKS took up the tradition of the
conference series<br>
Mathematical Fundamentals of Database Systems (MFDBS), which
initiated East-West<br>
collaboration in the field of database theory. Former MFDBS
conferences were<br>
held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and
Dresden<br>
(Germany) in 1987.<br>
<br>
The FoIKS symposia are a forum for intense discussions. Speakers
will be given<br>
sufficient time to present their ideas and results within the
larger context of<br>
their research. Furthermore, participants will be asked to prepare
a first<br>
response to another contribution in order to initiate discussion.<br>
<br>
<br>
</tt><tt>WHY TO ATTEND: <br>
<br>
(1) high level research on database theory and artificial intelligence
<br>
with world-class theoretical and applied research
published by Springer <br>
in the LNCS series (since the beginning); <br>
(2) keynotes by leaders in the area of information systems
theory and <br>
knowledge
bases; <br>
(3) long talks (60 min) with reponders (15 min) and discussion
(another <br>
15 min) each paper
giving in the first 30 minutes an introduction into <br>
the area
making thus each paper understandable by everybody in the <br>
auditory with a long break for continuing discussions; <br>
(4) for an introduction into the area, for your own continuing
and advanced <br>
academic education and professional development
tapping into new fields <br>
of research; <br>
(5) for your PhD students as a kind of special winter school as
a quick, <br>
deep and
high-level survey of the latest state-of-the-art in the area <br>
thus fostering the next generation of researchers by
including them in <br>
the research
dialogue and providing a deep background knowledge; <br>
(6) long and intensive discussion on each research in a
friendly and open <br>
climate
promoting a culture of communication, exchange and collaborative <br>
work; <br>
(7) quick introduction into the essentials of each paper
directly at the <br>
beginning of
the conference. <br>
<br>
Thus: a conference combining classical conference, tutorials and
winter school <br>
having a real workshop atmosphere
aiming at inspiration of your research <br>
and at collaboration with colleagues. <br>
</tt><tt><br>
<br>
REGISTRATION: <br>
<br>
<a class="moz-txt-link-freetext" href="https://www.is.informatik.uni-kiel.de/events/foiks_2012/index.php">https://www.is.informatik.uni-kiel.de/events/foiks_2012/index.php</a>
<br>
</tt><tt><br>
Early-bird registration deadline: December 30, 2011.</tt><br>
<tt>Early-bird </tt><tt>registration fee (for participants from
academic organizations): EUR 500</tt><tt><br>
<br>
</tt><tt><br>
INVITED SPEAKERS <br>
<br>
András Benczúr (Computer and Automation Institute, Hungarian Academy of
Sciences, Hungary)
<br>
Thomas Eiter (Vienna University of Technology, Austria)</tt><tt><br>
Thomas Schwentick (TU Dortmund, Germany) <br>
</tt><tt> <br>
<br>
PROGRAM CHAIRS <br>
<br>
Thomas Lukasiewicz (University of Oxford, UK) <br>
Attila Sali (Alfréd Rényi Institute, Hungarian Academy of Sciences, Hungary)
<br>
<br>
<br>
LOCAL ORGANIZATION CHAIR <br>
<br>
Bernhard Thalheim (Christian-Albrechts-University Kiel, Germany) <br>
<br>
<br>
PUBLICITY CHAIR <br>
<br>
Markus Kirchberg (HP Labs, Singapore) <br>
<br>
<br>
ACCEPTED PAPERS: <br>
<br>
* Functional Dependencies on Extended Relations Defined by Regular
Languages <br>
Gyula I. Szabó and András Benczúr<br>
<br>
* Inconsistency Tolerance in Knowledge-Based Systems by
Dissimilarities <br>
Ofer Arieli and Anna Zamansky<br>
<br>
* Revising Belief without Revealing Secrets <br>
Joachim Biskup and Cornelia Tadros<br>
<br>
* Using Functional Dependencies for Reducing the Size of a Data
Cube <br>
Eve Garnaud, Sofian Maabout, and Mohamed Mosbah<br>
<br>
* Synchronous Parallel Database Transformations <br>
Klaus-Dieter Schewe and Qing Wang<br>
<br>
* Armstrong Databases and Reasoning for Functional Dependencies
and Cardinality Constraints over Partial Bags <br>
Sven Hartmann, Henning Koehler, Sebastian Link, and Bernhard
Thalheim<br>
<br>
* FD Covers and Universal Complements of Simple Projections <br>
Stephen Hegner<br>
<br>
* Flexible and Efficient Distributed Resolution of Large Entities
<br>
Csaba István Sidló, András J. Molnár, and Andras A. Benczúr<br>
<br>
* Encoding Databases Satisfying a Given Set of Dependencies <br>
Gyula O.H. Katona and Krisztián Tichler<br>
<br>
* The Impact of Transitive Closure on the Boolean Expressiveness
of Navigational Query Languages on Graphs <br>
George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van Den
Bussche, Dirk Van Gucht, Stijn Vansummeren, and Yuqing Wu<br>
<br>
* On Lifted Inference for a Relational Probabilistic Conditional
Logic with Maximum Entropy Semantics <br>
Annika Krämer and Christoph Beierle<br>
<br>
* On Real-Valued Evaluation of Propositional Formulas <br>
Aleksandar Perovic, Dragan Doder, and Zoran Ognjanovic<br>
<br>
* Detecting Suspect Answers in the Presence of Inconsistent
Information <br>
Olivier Pivert and Henri Prade<br>
<br>
* Backing and Undercutting in Abstract Argumentation Frameworks <br>
Andrea Cohen, Alejandro J. García, and Guillermo R. Simari.<br>
<br>
* Handling Preferences in P2P Systems <br>
Luciano Caroprese and Ester Zumpano<br>
<br>
* Formalizing Production Systems with Rule-Based Ontolgies <br>
Martin Rezk and Michael Kifer<br>
<br>
* More than the Sum of its Parts - Holistic Ontology Alignment by
Population-Based Optimisation <br>
Jürgen Bock, Sebastian Rudolph, and Michael Mutter<br>
<br>
* Verifying Resource Requirements for Ontology-Driven Rule-Based
Agents <br>
Abdur Rakib, Rokan Uddin Faruqui, and Wendy Maccaull<br>
<br>
* Learning the News in Social Networks <br>
Krishnan Rajagopalan, Venkatesh Srinivasan, and Alex Thomo<br>
<br>
* Count Constraints and the Inverse OLAP Problem: Definition,
Complexity and a Step toward Aggregate Data Exchange <br>
Domenico Saccà, Edoardo Serra, and Antonella Guzzo<br>
<br>
<br>
</tt><tt><font color="#000000">ORGANIZED BY:<br>
<br>
Christian-Albrechts-University at Kiel, Germany <br>
<br>
Completely non-profit organisation with full service for your fees.
<br>
Following the approach and tradition of the MFDBS (Mathematical fundamentals
<br>
of database systems) founded as the East European Forum for Database Theory
<br>
thus making the event the tenth event in this area. <br>
<br>
For visa support please contact Ove Sörensen <a
class="moz-txt-link-rfc2396E"
href="mailto:ove@is.informatik.uni-kiel.de"><ove@is.informatik.uni-kiel.de></a>
</font><br>
<br>
</tt><tt><br>
FURTHER INFORMATION <br>
<br>
For further information, refer to the FoIKS 2012 web site at:
</tt>
<tt><br>
<br>
<a class="moz-txt-link-freetext" href="http://2012.foiks.org/">http://2012.foiks.org/</a></tt>
</body>
</html>