FoIKS 2018 - 10th International Symposium on Foundations of Information and Knowledge Systems

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 2018 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 optimization.
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.
Previous FoIKS symposia were held in Linz (Austria) in 2016, Bordeaux (France) in 2014, 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. 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.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science. 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 FoIKS 2018
Suggested topics
The suggested topics include, but are not limited to:
Database Design Formal models, dependencies and independencies
Big Data Models for data in the Cloud, programming languages for big data, query processing.
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, negotiations and dialogue, 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, computation models of argument, argumentation systems
Logics in Databases and AI Classical and non-classical logics, logic programming, description logics, 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, ontology-based data access and
The WWW Models of Web databases, Web dynamics, Web services, Web transactions and negotiations, Social Networks, Web Mining
Program Committee
• Yamine Ait Ameur, France
• Pablo Barceló, Chile
• Kim Bauters, Northern Ireland, UK
• Christoph Beierle, Germany
• Leopoldo Bertossi, Canada
• Philippe Besnard, France
• Nicole Bidoit, France
• Meghyn Bienvenu, France
• Joachim Biskup, Germany
• Marina De Vos, UK
• Michael Dekhtyar, Russia
• Dragan Doder, Serbia
• Thomas Eiter, Austria
• Christian Fermüller, Austria
• Marc Gyssens, Belgium
• Edward Hermann Haeusler, Brazil
• Martin Homola, Slovakia
• Anthony Hunter, England
• Gabriel Istrate, Romania
• Gyula Y. Katona, Hungary
• Gabriele Kern-Isberner, Germany
• Attila Kiss, Hungary
• Ioannis Kokkinis, France
• Sébastien Konieczny, France
• Juha Kontinen, Finland
• Nicola Leone, Italy
• Sebastian Link, New Zealand
• Thomas Lukasiewicz, UK
• Sofian Maabout, France
• Jorge Martinez-Gil, Austria
• Henri Prade, France
• Elena Ravve, Israel
• Sebastian Rudolph, Germany
• Attila Sali, Hungary
• Vadim Savenkov, Austria
• Klaus-Dieter Schewe, Austria
• Thomas Schwentick, Germany
• Kostyantyn Shchekotykhin, Austria
• Csaba István Sidló, Hungary
• Guillermo Ricardo Simari, Argentina
• Mantas Simkus, Austria
• Bernhard Thalheim, Germany
• Alex Thomo, Canada
• Mirek Truszczynski, USA
• Gyorgy Turan, USA
• Jose Turull-Torres, Argentina/New Zealand
• Dirk Van Gucht, USA
• Jonni Virtema, Finland
• Qing Wang, Australia
Program Chairs
• Stefan Woltran, TU Wien, Austria.
• Flavio Ferrarotti, Software Competence Center Hagenberg, Austria.
Local Organization Chair
• Attila Sali, Alfréd Rényi Institute of Mathematics, Hungary.
Invited Speakers
• Laura Kovacs, TU Wien, Austria.
• Sebastian Link, University of Auckland, New Zealand.
• David Pearce, Technical University of Madrid, Spain (supported by ALP).
• Bernhard Thalheim, Christian-Albrechts-University at Kiel Germany.
Publication
The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science. After the symposium, authors of selected papers will be invited to submit extended journal versions of their papers for a FoIKS 2018 special issue of the Annals of Mathematics and Artificial Intelligence.
Venue
The conference venue will be the renowned Alfréd Rényi Institute of Mathematics at the Hungarian Academy of Sciences (for more information on the venue, see http://www.renyi.hu/contact.html).