*Call for Papers*
13th International Symposium on Foundations of Information and Knowledge Systems – FoIKS
2024
https://foiks2024.github.io/
Extended Deadlines
================
(Extended) Abstract submission deadline: 11.12.2023 AoE ("anywhere on earth")
(Extended) Paper submission deadline: 14.12.2023 AoE ("anywhere on earth")
Invited Speakers
==============
* Georg Gottlob, University of Oxford
* Phokion Kolaitis, University of California Santa Cruz and IBM Research
* Andrei Popescu, University of Sheffield
* Uli Sattler, University of Manchester
About
=============
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 2024 solicits original contributions (as well as extensions of previously published
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, (parameterized)
complexity theory, algorithmics and computation, statistics, and optimisation, among, of
course, many others.
The FoIKS symposia are a forum for intensive 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.
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, 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,
(parameterised) 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
Important Dates
================
All deadlines are at 23:59 UTC-12 (AoE, "anywhere on earth").
(Extended) Abstract submission deadline: 11.12.2023
(Extended) Paper submission deadline: 14.12.2023
Acceptance notifications: 29.01.2024
Camera-ready versions of accepted papers due: 08.02.2024
Early registration deadline: 08.03.2024
Late registration deadline: 01.04.2024
Conference: 8–11.04.2024
Submission Guidelines
====================
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 optionally 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. Resubmission of papers rejected in major conferences (e.g., AAAI, ICDT, STACS)
is welcome.
Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in
Computer Science (see
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… and
https://resource-cms.springernature.com/springer-cms/rest/v1/content/192386…).
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.
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). Further details
will be provided on the conference website.
Organisation
=============
Program Committee Chairs:
Arne Meier, Leibniz Universität Hannover, Germany
Magdalena Ortiz, TU Wien, Austria and Umeå University, Sweden
Local Chair:
Jonni Virtema, University of Sheffield, UK
Local Organisers:
Timon Barlag, University of Sheffield, UK
Mike Cruchten, University of Sheffield, UK
Nina Pardal, University of Sheffield, UK
Max Sandström, University of Sheffield, UK
Publicity Chair:
Lucía Gómez Álvarez, TU Dresden, DE
Contact
=============
All questions about submissions should be emailed to foiks24(a)easychair.org.
https://foiks2024.github.io/
_________________________
Dr. Lucía Gómez Álvarez
Computational Logic Group
Institute for Artificial Intelligence
Faculty of Computer Science
TU Dresden
GERMANY