[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
on
Foundations of Information and Knowledge Systems
(FoIKS 2014)
Bordeaux, France -- March 3-7, 2014
http://2014.foiks.org/
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 optimisation.
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 discussion.
WHY TO ATTEND:
(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
discussions;
(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 knowledge;
(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.
INVITED SPEAKERS
Dov Gabbay (King's College London, UK)
Cyril Gavoille (University of Bordeaux, France)
Jeff Wijsen (University of Mons, Belgium)
PROGRAM CHAIRS
Christoph Beierle (University of Hagen, Germany)
Carlo Meghini (ISTI-CNR Pisa, Italy)
LOCAL ORGANIZATION CHAIR
Sofian Maabout (LaBRI, Bordeaux, France)
PUBLICITY CHAIR
Markus Kirchberg (VISA Inc., Singapore)
ACCEPTED PAPERS:
* Arguments Using Ontological and Causal Knowledge
Philippe Besnard, Marie-Odile Cordier and Yves Moinard
* Reasoning on Secrecy Constraints under Uncertainty to Classify Possible
Actions
Joachim Biskup, Gabriele Kern-Isberner, Patrick Krmpelmann and Cornelia
Tadros
* 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
Dependencies
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
ORGANIZED BY:
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)
FURTHER INFORMATION
For further information, refer to the FoIKS 2014 web site at:
http://2014.foiks.org/
_______________________________________________
uai mailing list
[email protected]
https://secure.engr.oregonstate.edu/mailman/listinfo/uai
