Call for Papers

Please find here the detailed scope of the conference as well as submission information.

Scope

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, computational 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
• The WWW: Models of Web databases, Web dynamics, Web services, Web transactions and negotiations, Social Networks, Web Mining

Submission Guidlines

For long papers, the page limit is 16 plus additional pages of references. For short papers, the maximum number of pages is 10 plus additional pages of references. Missing proofs or details can be added as an additional appendix read at the discretion of the program committee. 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 (for guidelines and templates, see: Guidelines and Templates). Submissions that 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 the EasyChair link https://easychair.org/conferences/?conf=foiks24.

All questions about submissions should be emailed to foiks24@easychair.org.

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 2024 special issue in the journal Knowledge Engineering Review (https://www.cambridge.org/core/journals/knowledge-engineering-review).