[loginf] Call for Participation: FoIKS 2014, Bordeaux, France, March 3-7, 2014

Christoph Beierle beierle at wbs2.buerokommunikation.FernUni-Hagen.de
Fri Jan 10 11:12:43 CET 2014

[Apologies for multiple copies]

              C A L L   F O R   P A R T I C I P A T I O N

                      Eigth International Symposium


             Foundations of Information and Knowledge Systems

                               (FoIKS 2014)

                 Bordeaux, France -- March 3-7, 2014


The FoIKS symposia provide a biennial forum for presenting and discussing
theoretical and applied research on information and knowledge systems. The
goal is to bring together researchers with an interest in this subject,
share research experiences, promote collaboration and identify new issues
and directions for future research.

FoIKS 2014 solicits original contributions dealing with any foundational
aspect of information and knowledge systems. This includes submissions
that apply ideas, theories or methods from specific disciplines to
information and knowledge systems. Examples of such disciplines are
discrete mathematics, logic and algebra, model theory, information theory,
complexity theory, algorithmics and computation, statistics and

Previous FoIKS symposia were held in Kiel (Germany) in 2012, Sofia
(Bulgaria) in 2010, Pisa (Italy) in 2008, Budapest (Hungary) in 2006,
Vienna (Austria) in 2004, Schloss Salzau near Kiel (Germany) in 2002, and
Burg/Spreewald near Berlin (Germany) in 2000 (see http://www.foiks.org/).
FoIKS took up the tradition of the conference series Mathematical
Fundamentals of Database Systems (MFDBS), which initiated East-West
collaboration in the field of database theory. Former MFDBS conferences
were held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and
Dresden (Germany) in 1987.

The FoIKS symposia are a forum for intense discussions. Speakers will be
given sufficient time to present their ideas and results within the larger
context of their research. Furthermore, participants will be asked to
prepare a first response to another contribution in order to initiate


   (1) high level research on database theory and artificial intelligence
       with world-class theoretical and applied research published by
       Springer in the LNCS series (since the beginning);
   (2) keynotes by leaders in the area of information systems theory and
       knowledge bases;
   (3) long talks with reponders and discussion, each paper giving an
       introduction into the area making thus each paper understandable by
       everybody in the auditory with a long break for continuing
   (4) for an introduction into the area, for your own continuing and
       advanced academic education and professional development tapping
       into new fields of research;
   (5) for your PhD students as a kind of special winter school as a quick,
       deep and high-level survey of the latest state-of-the-art in the
       area thus fostering the next generation of researchers by including
       them in the research dialogue and providing a deep background
   (6) long and intensive discussion on each research in a friendly and
       open climate promoting a culture of communication, exchange and
       collaborative work;
   (7) quick introduction into the essentials of each paper directly at the
       beginning of the conference.

Thus: a conference combining classical conference, tutorials and winter
       school having a real workshop atmosphere aiming at inspiration of
       your research and at collaboration with colleagues.

REGISTRATION:      http://2014.foiks.org/

Early-bird registration deadline: February 1, 2014.


Dov Gabbay     (King's College London, UK)
Cyril Gavoille (University of Bordeaux, France)
Jeff Wijsen    (University of Mons, Belgium)


Christoph Beierle (University of Hagen, Germany)
Carlo Meghini     (ISTI-CNR Pisa, Italy)


Sofian Maabout     (LaBRI, Bordeaux, France)


Markus Kirchberg   (VISA Inc., Singapore)


* Arguments Using Ontological and Causal Knowledge
   Philippe Besnard, Marie-Odile Cordier and Yves Moinard

* Reasoning on Secrecy Constraints under Uncertainty to Classify Possible 
   Joachim Biskup, Gabriele Kern-Isberner, Patrick Krmpelmann and Cornelia 

* An AIF-based Labeled Argumentation Framework
   Maximiliano Budan, Mauro J. Gomez Lucero and Guillermo Ricardo Simari

* On the Semantics of Partially Ordered Bases
   Claudette Cayrol, Didier Dubois and Faycal Touazi

* The Structure of Oppositions in Rough Set Theory and Formal Concept 
Analysis - Toward a New Bridge Between the Two Settings
   Davide Ciucci, Didier Dubois and Henri Prade

* Enriching Taxonomies of Place Types Using Flickr
   Joaquin Derrac and Steven Schockaert

* Hintikka-style Semantic Games for Fuzzy Logics
   Christian Fermller

* A Finite Axiomatization of Conditional Independence and Inclusion 
   Miika Hannula and Juha Kontinen

* Guard Independence and Constraint-Preserving Snapshot Isolation
   Stephen Hegner

* Implication and Axiomatization of Functional Constraints on Patterns 
with an Application to the RDF Data Model
   Jelle Hellings, Marc Gyssens, Jan Paredaens and Yuqing Wu

* Rewriting of Tree Languages for XML
   Laks Lakshmanan and Alex Thomo

* EHC: Non-parametric Editing by Finding Homogeneous Clusters
   Stefanos Ougiaroglou and Georgios Evangelidis

* A Logic for Specifying Stochastic Actions and Observations
   Gavin Rens, Thomas Meyer and Gerhard Lakemeyer

* Belief Revision in Structured Probabilistic Argumentation
   Paulo Shakarian, Gerardo Simari and Marcelo Falappa

* A Multi-granular Database Model
   Loreto Bravo and Andrea Rodriguez

* Optimizing Computation of Repairs from Active Integrity Constraints
   Luis Cruz-Filipe

* Belief merging in Dynamic Logic of Propositional Assignments
   Andreas Herzig, Pilar Pozos Parra and Francois Schwarzentruber

* Incremental Maintenance of Aggregate Views
   Abhijeet Mohapatra and Michael Genesereth

* Towards An Approximative Ontology-Agnostic Approach for Logic Programs
   Jo~ao Carlos Pereira Da Silva and Andre Freitas


University of Bordeaux, France

Completely non-profit organisation with full service for your fees.
Following the approach and tradition of the MFDBS (Mathematical
fundamentals of database systems) founded as the East European Forum for
Database Theory thus making the event the eleventh event in this area.

For visa support please contact Sofian Maabout (via http://2014.foiks.org)


For further information, refer to the FoIKS 2014 web site at:


More information about the loginf mailing list