Aims and scope

Acta Informatica is publishing original papers in all areas covering the mathematical foundations of Computer Science.
We solicit both research papers, survey articles and shorter contributions (notes).

Topics include theoretical aspects of the following items [notice that you will get a refined list when clicking on these items].

    Algorithms and their analysis
    Automata and formal languages
    Computability and complexity
    Data handling
    Discrete Mathematics
    Logic (in Computer Science)
    Mathematical foundations of Artificial Intelligence
    Programming language theory
    Security
    Systems theory
    Verification

This includes also modern topics like Quantum Computing.

Special Issue on Hyperproperties: Foundations and Applications
Submission Date: 2024-11-03

Aims, Scope and Objective of Topical Collection:

The study of hyperproperties has recently gained much attention in the formal methods, security, and cyber-physical systems communities. Hyperproperties generalize the conventional notion of specifications, defining properties of individual executions of a system, to relations between multiple executions. The added expressive power had enabled hyperproperties to become a widely-used formalism for expressing system properties such as information-flow policies, symmetry in hardware design, robustness in cyber-physical systems, as well as properties of learning-enabled systems, including monotonicity, fairness, and robustness of neural networks.

The objective of this special issue is to highlight recent advances in the broad area of hyperproperties. Topics of interest include, but are not limited to: specification formalisms for hyperproperties - methods and tools for verifying, synthesizing, and monitoring hyperproperties - applications of hyperproperties as a formalism for robustness, causality, fairness, or privacy properties.

Acta Informatica scope:

Hyperproperties specify desired properties of a system and refer to a class of properties that relate multiple system executions (vs. what we call trace properties), expressing a wide range of properties from information flow and security policies to complex epistemic properties. Since their introduction in 2008, hyperproperties have been extensively studied within multiple areas of theoretical computer science. On the fundamental side, logics for expressing hyperproperties are constantly being developed, together with a study of their expressiveness and complexity of different problems for these logics (such as model checking, synthesis, and satisfiability). On the algorithmic and applications aspect, hyperproperties are studied in terms of algorithms for verifying systems w.r.t. hyperproperties and finding applications of hyperproperties in security, cyber-physical systems, distributed systems, and more.