<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>