[DL] FoIKS 2012: Final Call for Papers

[Thomas Lukasiewicz]

[Apologies for multiple copies]


            -------------------------------------------------------
                       C A L L   F O R   P A P E R S
            -------------------------------------------------------

                      Seventh International Symposium

                                    on

             Foundations of Information and Knowledge Systems

                               (FoIKS 2012)

                     March 5-9, 2012 -- Kiel, Germany

                          http://2012.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 2012 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 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.

Typical topics include, but are not limited to:

* Database Design: formal models, dependencies and independencies;
* Dynamics of Information: models of transactions, concurrency control, updates,
consistency preservation, belief revision;
* Information Fusion: heterogeneity, views, schema dominance, multiple source
information merging, reasoning under inconsistency;
* Integrity and Constraint Management: verification, validation, consistent
query answering, information cleaning;
* Intelligent Agents: multi-agent systems, autonomous agents, foundations of
software agents, cooperative agents, formal models of interactions, logical
models of emotions;
* Knowledge Discovery and Information Retrieval: machine learning, data mining,
formal concept analysis and association rules, text mining, information
extraction;
* Knowledge Representation, Reasoning and Planning: non-monotonic formalisms,
probabilistic and non-probabilistic models of uncertainty, graphical models and
independence, similarity-based reasoning, preference modeling and handling,
argumentation systems;
* Logics in Databases and AI: classical and non-classical logics, logic
programming, description logic, spatial and temporal logics, probability logic,
fuzzy logic;
* Mathematical Foundations: discrete structures and algorithms, graphs,
grammars, automata, abstract machines, finite model theory, information theory,
coding theory, complexity theory, randomness;
* Security in Information and Knowledge Systems: identity theft, privacy, trust,
intrusion detection, access control, inference control, secure Web services,
secure Semantic Web, risk management;
* Semi-Structured Data and XML: data modelling, data processing, data
compression, data exchange;
* Social Computing: collective intelligence and self-organizing knowledge,
collaborative filtering, computational social choice, Boolean games, coalition
formation, reputation systems;
* The Semantic Web and Knowledge Management: languages, ontologies, agents,
adaption, intelligent algorithms; and
* The WWW: models of Web databases, Web dynamics, Web services, Web transactions
and negotiations.


PUBLICATION

The proceedings will be published by Springer-Verlag in the Lecture Notes in
Computer Science series and will be available at the symposium. After the
symposium, authors of selected papers will be asked to prepare extended versions
of their papers for publication in a special issue of the journal Annals of
Mathematics and Artificial Intelligence.


SUBMISSION OF PAPERS

Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes
in Computer Science (see http://www.springer.com/comp/lncs/Authors.html). The
suggested number of pages is 16, and the maximum number of pages is 18.
Submissions which deviate substantially from these guidelines may be rejected
without review. Initial submissions must be in PDF format, but authors should
keep in mind that the LaTeX2e source must be submitted for the final versions of
accepted papers. Submissions in alternate formats, such as Microsoft Word,
cannot be accepted for either initial or final versions. The submissions will be
judged for scientific quality and for suitability as a basis for broader
discussion. Submission is via EasyChair at
http://www.easychair.org/conferences/?conf=foiks2012.


IMPORTANT DATES

Abstract submission deadline: October  21, 2011
Paper submission deadline: October  21, 2011
Paper accept/reject decisions: November 22, 2011
Camera-ready papers due: December 15, 2011
Early registration deadline: December 15, 2011


INVITED SPEAKERS

Thomas Schwentick (TU Dortmund, Germany)
András Benczúr (Computer and Automation Institute, Hungarian Academy of
Sciences, Hungary)


PROGRAM CHAIRS

Thomas Lukasiewicz (University of Oxford, UK)
Attila Sali (Alfréd Rényi Institute, Hungarian Academy of Sciences, Hungary)


LOCAL ORGANIZATION CHAIR

Bernhard Thalheim (Christian-Albrechts-University Kiel, Germany)


PUBLICITY CHAIR

Markus Kirchberg (HP Labs, Singapore)


PROGRAM COMMITTEE

José Júlio Alferes (Universidade Nova de Lisboa, Portugal)
Leila Amgoud (University of Toulouse, France)
Paolo Atzeni (Roma Tre University, Italy)
Salem Benferhat (University of Lens, France)
Leopoldo Bertossi (Carleton University, Canada)
Philippe Besnard (University of Toulouse, France)
Joachim Biskup (University of Dortmund, Germany)
Piero A. Bonatti (University of Naples "Federico II", Italy)
Andrea Calì (Birkbeck, University of London, UK)
Paolo Cappellari (Dublin City University, Ireland)
Jan Chomicki (University at Buffalo, USA)
Alfredo Cuzzocrea (University of Calabria, Italy)
Marina De Vos (University of Bath, UK)
Michael I. Dekhtyar (Tver State University, Russia)
James P. Delgrande (Simon Fraser University, Canada)
Tommaso Di Noia (Technical University of Bari, Italy)
Jürgen Dix (Clausthal University of Technology, Germany)
Francesco M. Donini (University of Tuscia, Italy)
Thomas Eiter (Vienna University of Technology, Austria)
Ronald Fagin (IBM Almaden Research Center, San Jose, USA)
Victor Felea ('Al.I. Cuza' University of Iasi, Romania)
Flavio Ferrarotti (University of Santiago de Chile and Yahoo! Research Latin America)
Sergio Flesca (University of Calabria, Italy)
Lluis Godo (Artificial Intelligence Research Institute (IIIA - CSIC), Spain)
Gianluigi Greco (University of Calabria, Italy)
Claudio Gutierrez (University of Chile, Chile)
Sven Hartmann (Clausthal University of Technology, Germany)
Stephen J. Hegner (Umeå University, Sweden)
Edward Hermann Haeusler (Pontifícia Universidade Católica, Brazil)
Andreas Herzig (University of Toulouse, France)
Pascal Hitzler (Wright State University, USA)
Eyke Hüllermeier (University of Marburg, Germany)
Anthony Hunter (University College London, UK)
Yasunori Ishihara (Osaka University, Japan)
Gyula O. H. Katona (Alfréd Rényi Institute, Hungarian Academy of Sciences, Hungary)
Gabriele Kern-Isberner (University of Dortmund, Germany)
Attila Kiss (Eötvös Loránd University, Budapest, Hungary)
Sébastien Konieczny (University of Lens, France)
Gerhard Lakemeyer (RWTH Aachen University, Germany)
Jérôme Lang (University of Paris 9, France)
Domenico Lembo (University of Rome "La Sapienza", Italy)
Mark Levene (Birkbeck, University of London, UK)
Sebastian Link (Victoria University of Wellington, New Zealand)
Weiru Liu (Queen's University Belfast, UK)
Wolfgang May (University of Göttingen, Germany)
Sebastian Maneth (NICTA and University of New South Wales, Australia)
Pierre Marquis (University of Artois, France)
Carlo Meghini (ISTI-CNR Pisa, Italy)
Leora Morgenstern (New York University, USA)
Amedeo Napoli (LORIA Nancy, France)
Wilfred S. H. Ng (Hong Kong University of Science and Technology, Hong Kong)
Dan Olteanu (University of Oxford, UK)
Henri Prade (University of Toulouse, France)
Andrea Pugliese (University of Calabria, Italy)
Sebastian Rudolph (University of Karlsruhe, Germany)
Francesco Scarcello (University of Calabria, Italy)
Klaus-Dieter Schewe (Software Competence Center Hagenberg, Austria)
Dietmar Seipel (University of Würzburg, Germany)
Nematollaah Shiri (Concordia University, Montreal, Canada)
Gerardo I. Simari (University of Oxford, UK)
Guillermo R. Simari (Universidad Nacional del Sur, Argentina)
Nicolas Spyratos (University of Paris-South, France)
Umberto Straccia (ISTI-CNR Pisa, Italy)
Letizia Tanca (Politecnico di Milano, Italy)
Alex Thomo (University of Victoria, Canada)
Krisztián Tichler (Eötvös Loránd University, Budapest, Hungary)
Miroslaw Truszczynski (University of Kentucky, USA)
José María Turull-Torres (Massey University Wellington, New Zealand)
Wiebe van der Hoek (University of Liverpool, UK)
Dirk Van Gucht (Indiana University, USA)
Victor Vianu (University of California San Diego, USA)
Evgenii E. Vityaev (Russian Academy of Sciences, Russia)
Peter Vojtás (Charles University, Czech Republic)
Jef Wijsen (University of Mons-Hainaut, Belgium)
Stefan Woltran (Vienna University of Technology, Austria)


FURTHER INFORMATION

For further information refer to the FoIKS 2012 web site at

http://2012.foiks.org/