-------------------------------
C A L L F O R P A P E R S
-------------------------------
Sixth International Symposium
on
Foundations of Information and Knowledge Systems
(FoIKS 2010)
February 15-19, 2010 -- Sofia, Bulgaria
http://2010.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 2010 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 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. 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-mono\-tonic 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.
SUBMISSION OF PAPERS
--------------------
Papers must be typeset using the Springer-Verlag LaTeX2e style llncs for Lecture Notes in Computer Science (refer to http://2010.foiks.org/). 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. 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.
Electronic Submission
---------------------
Submission to FoIKS 2010 will be electronically only. The online submission system will be available from July 2009.
IMPORTANT DATES
---------------
Abstract submission deadline: August 07, 2009
Paper submission deadline: August 14, 2009
Author notification: October 16, 2009
Camera-ready paper due: November 13, 2009
Symposium dates: February 15-19, 2010
CONFERENCE CHAIRS
-----------------
Program Committee Co-Chairs
---------------------------
Sebastian Link
Victoria University of Wellington, New Zealand
Henri Prade
Universite de Toulouse, France
Local Organization Chair
------------------------
Stefan Dodunekov
Bulgarian Academy of Science, Bulgaria
Publicity Chair
---------------
Markus Kirchberg
Institute for Infocomm Research, A*STAR, Singapore
PROGRAM COMMITTEE
-----------------
Leila Amgoud, University of Toulouse, France
Lyublena Antova, Cornell University, USA
Marcelo Arenas, Pontificia Universidad Católica de Chile
Salem Benferhat, University of Lens, France
Jonathan Ben-Naim, University of Toulouse, 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
Gerhard Brewka, University of Leipzig, Germany
Balder ten Cate, INRIA, France
Jan Chomicki, University at Buffalo, USA
Samir Chopra, City University of New York, USA
Marina De Vos, University of Bath, UK
Michael I. Dekhtyar, Tver State University, Russia
James P. Delgrande, Simon Fraser University, Canada
Jürgen Dix, Clausthal University of Technology, Germany
Stefan Dodunekov, Bulgarian Academy of Sciences, Bulgaria
Thomas Eiter, Vienna University of Technology, Austria
Ron 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
Floris Geerts, The University of Edinburgh, UK
Lluís Godo Lacasa, Institut d'Investigacióen Intel.ligència Artificial, Spain
Edward Hermann Haeusler, Pontifícia Universidade Católica, Brazil
Joe Halpern, Cornell University, USA
Sven Hartmann, Clausthal University of Technology, Germany
Stephen J. Hegner, Umeå University, Sweden
Andreas Herzig, University of Toulouse, France
Eyke Hüllermeier, University of Marburg, Germany
Anthony Hunter, University College London, UK
Yasunori Ishihara, Osaka University, Japan
Ulrich Junker, ILOG, France
Gyula O. H. Katona, Hungarian Academy of Sciences, Hungary
Gabriele Kern-Isberner, University of Dortmund, Germany
Hans-Joachim Klein, University of Kiel, Germany
Henning Koehler, The University of Queensland, Australia
Phokion G. Kolaitis, IBM Almaden Research Center, San Jose, USA
Sébastien Konieczny, University of Lens, France
Gerhard Lakemeyer, Aachen University of Technology, Germany
Jérôme Lang, University of Paris 9, France
Mark Levene, Birkbeck University of London, UK
Thomas Lukasiewicz, Vienna University of Technology, Austria
Sebastian Maneth, NICTA and University of New South Wales, Australia
Pierre Marquis, University of Lens, France
Carlo Meghini, Institute of Information Science and Technologies, Italy
Leora Morgenstern, New York University, USA
Wilfred S. H. Ng, Hong Kong University of Science and Technology, Hong Kong
Juliana Peneva, New Bulgarian University, Bulgaria
Patrice Perny, University of Paris 6, France
Attila Sali, Hungarian Academy of Sciences, Hungary
Vladimir Sazonov, University of Liverpool, UK
Francesco Scarcello, Universita' degli Studi della Calabria, Italy
Torsten Schaub, University of Potsdam, Germany
Klaus-Dieter Schewe, Information Science Research Centre, New Zealand
Karl Schlechta, Universite de Provence, France
Dietmar Seipel, University of Würzburg, Germany
Guillermo R. Simari, Universidad Nacional del Sur, Argentina
Margarita Spiridonova, Bulgarian Academy of Sciences, Bulgaria
Nicolas Spyratos, University of Paris-South, France
Letizia Tanca, Politecnico di Milano, Italy
Bernhard Thalheim, University of Kiel, Germany
Miroslaw Truszczynski, University of Kentucky, USA
José María Turull-Torres, Massey University Wellington, New Zealand
Jan Van den Bussche, Universiteit Hasselt, Belgium
Wiebe van der Hoek, University of Liverpool, UK
Dirk Van Gucht, Indiana University, USA
Victor Vianu, University of California San Diego, USA
Millist Vincent, University of South Australia, Australia
Irina B. Virbitskaite, Russian Academy of Sciences, Russia
Evgenii E. Vityaev, Russian Academy of Sciences, Russia
Peter Vojtas, Charles University, Czech Republic
Jef Wijsen, University of Mons-Hainaut, Belgium
Mary-Anne Williams, University of Technology, Sydney, Australia
Masatoshi Yoshikawa, Kyoto University, Japan
FURTHER INFORMATION
-------------------
For further information, please, refer to the FoIKS 2010 Web-site at
http://2010.foiks.org/