International Symposium on Foundations of Information and Knowledge Systems (FoIKS)*

International Symposium on Foundations of Information and Knowledge Systems (FoIKS)*

This is no official page!

No warranty for correctness & completeness!
This site will be updated with no ads and linked to its KMedu opportunities
as soon as the provider subscribes to this service!
(sample pages: training, university, community, conference)

Monthly Featured

Featured Provider

The biennial International Symposium on Foundations of Information and Knowledge Systems (FoIKS), successor of the Mathematical Fundamentals of Database Systems (MFDBS) conference series, aims to bring together researchers working on the theoretical foundations of information and knowledge systems and to attract researchers working in mathematical fields such as discrete mathematics, combinatorics, logics and finite model theory who are interested in applying their theories to research on database and knowledge base theory.

Conference History:

14th International Symposium FoIKS 2026, 23-26 March 2026, Leibniz University Hannover, Germany

(Host: Theoretical Computer Science Institute, Faculty of Electrical Engineering and Computer Science, Leibniz University Hannover)

    Conference program TBD

13th International Symposium FoIKS 2024, 8-11 April 2024, University of Sheffield, Sheffield, UK

(Host: Verification Research Group, Department of Computer Science, University of Sheffield)

    Invited Talks:
    Consistency of Relations over Semirings and Monoids
    Epi-Recursion and Epi-Corecursion
    Hypertree Decompositions, an Ongoing Project
    Engineering Ontologies requires more than Automated Reasoning

    Conference Sessions:
    Repairs
    Dependencies & Constraints
    Beliefs
    Knowledge Representation and Reasoning
    Nonmonotonicity
    Axiomatizations
    Logics and Semantics
    Argumentation
    Answer set programming (ASP)

    Panel Discussions:
    How Theory Can Address the Challenges in AI

    Side Events:
    FoIKS Business meeting

12th International Symposium FoIKS 2022, June 20-23, 2022, University of Helsinki, Helsinki, Finland

(Host: Department of Computer Science, University of Helsinki)

    Invited Talks:
    Memory complexity for winning games on graphs
    The Relevance of Formal Logics for Cognitive Logics, and Vice Versa
    More automation to software engineering
    Dependence logic: Some recent developments
    Text classification using “imposter” projections method

    Conference Sessions:
    Action formalisms
    Relational algebra and functional dependencies
    Message passing
    Logic programming and query answering
    Non-monotonic reasoning
    Graph-based reasoning

    Side Events:
    FoIKS Business meeting

11th International Symposium FoIKS 2020, February 17-21, 2020, Technical University of Dortmund, Dortmund, Germany

(Host: Information Engineering Group, Faculty of Computer Science, Technical University of Dortmund; Co-organizer: Subject area Knowledge-based Systems at the Faculty of Mathematics and Computer Science of the University of Hagen)

    Keynotes:
    First-order logic of information flows: expressibility, primitivity, input-output properties, and limited access patterns; Implicit coordination of mobile agents; Description Logics for Typicality and Nonmonotonic Reasoning (EurAI Talk); Computation on structures – behavioural theory, logic and complexity

    Conference Sessions:
    Knowledge Representation and Automated Reasoning; Distributed and Parallel Databases, Distributed Knowledge; Databases, Dependencies, and Dependence Logic; Interaction between Multiple Agents; Ontologies and Applications; Inconsistency and Complexity

    Side Events:
    FoIKS Steering Committee Meeting (open to everyone)

10th International Symposium FoIKS 2018, May 14-18, 2018, Budapest, Hungary

(Host: Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences)

    Keynotes:
    Computational Models of Argument: A New Perspective on Persisting Knowledge Representation and Reasoning (KR) Problems; Automated Reasoning for Systems Engineering; Old keys that open new doors; The Logical Basis of Knowledge Representation in Answer Set Programming; Revisiting the Database Constraints Theory

    Conference Sessions:
    n.a.

9th International Symposium FoIKS 2016, March 7-11, 2016, Linz, Austria

(Host: Software Competence Centre Hagenberg; Johannes-Kepler-University Linz)

    Keynotes:
    Systems and Implementations for Solving Reasoning Problems in Conditional Logics; Selected Results and Related Issues of Confidentiality-Preserving Controlled Interaction Execution; The Challenge of Optional Matching in SPARQL; Some Recent Trends in Argumentation Research; Relational Complexity and Higher Order Logics

    Conference Sessions:
    Reasoning about beliefs, uncertainty, incompleteness, and inconsistency; Dealing with knowledge; Querying and pattern mining; Inference and problem solving; Logics and complexity

8th International Symposium FoIKS 2014, March 3-7, 2014, Bordeaux, France

(Host: Laboratoire Bordelais de Recherche en Informatique)

    Keynotes:
    The Equational Approach to Contrary-to-duty Obligations; Data Structures for Emergency Planing; A Survey of the Data Complexity of Consistent Query Answering Under Key Constraints

    Conference Sessions:
    n.a.

7th International Symposium FoIKS 2012, March 5-9, 2012, Kiel, Germany

(Host: Chair of Technology for Information Systems, Christian-Albrechts-University Kiel)

    Keynotes:
    Extreme Large Scale Data Management Problems – Entity Resolution; Uniform Evaluation of Nonmonotonic Description Logic Programs; Logic and Automata-Based Foundations of XML: A Snapshot

    Conference Sessions:
    n.a.

6th International Symposium FoIKS 2010, February 15-19, 2010, Sofia, Bulgaria

(Host: Institute of Mathemetics and Informatics, Bulgarian Academy of Sciences)

    Keynotes:
    Tools and Techniques in Qualitative Reasoning about Space; A Simple but Formal Semantics for XML Manipulation Languages; Algorithmic Definability and Completeness in Modal Logic

    Conference Sessions:
    n.a.

5th International Symposium FoIKS 2008, February 11-15, 2008, Pisa, Italy

(Host: Networked Multimedia Information Systems Laboratory , Istituto di Scienza e Tecnologie dell’Informazione)

    Keynotes:
    Coupling Design and Verification in Software Product Lines; Random Geometric Identification; Strategic Abilities of Agents

    Conference Sessions:
    n.a.

4th International Symposium FoIKS 2006, February 14-17, 2006, Budapest, Hungary

(Host: Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences)

    Keynotes:
    The Semijoin Algebra

    Conference Sessions:
    Queries and Query Languages; Dependency Theory; Physical Data Organization; Logic Programming and Automated Reasoning; Data Modelling; Mathematical Foundations

3rd International Symposium FoIKS 2004, February 17-20, 2004, Vienna, Austria

(Host: Knowledge Based Systems Group, Institute of Logic and Computation, Faculty of Informatics, Vienna University of Technology)

    Keynotes:
    Hypergraph Transversals: Complexity and Applications; Abstract State Machines: An Overview of the Project

    Conference Sessions:
    Knowledge Representation and Artificial Intelligence; Queries; Database Updates; Dependency Theory

2nd International Symposium FoIKS 2002, February 20-23, 2002, Kiel, Germany

(Host: Computer Science Institute, Christian-Albrechts-University Kiel)

    Keynotes:

    Conference Sessions:
    n.a.

1st International Symposium FoIKS 2000, February 14-17, 2000, Burg, Germany

(Host: Database and Information Systems team, Institute of Informatics, Technical University of Cottbus)

    Keynotes:

    Conference Sessions:
    n.a.

Home » Opportunities » Events

Leave a Reply

Your email address will not be published. Required fields are marked *