Collections and calls for papers

Special Issue on Current Trends in Sequences

This special issue aims to gather submissions on different aspects of symbolic sequences, including string algorithms and data structures, computational biology, music information retrieval, and combinatoric...

Submission status

Open

Submission deadline

30 May 2025

Selected Extended Papers of SMT 2024 and Related Papers

The aim of this collection is to collect, in a single volume, current state of the art research in Satisfiability Modulo Theories (SMT). The collection is intended to include extended versions of papers that...

Submission status

Closed

Hyperproperties: Foundations and Applications

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 gener...

Submission status

Closed

Selected Extended Papers from Machines, Computations and Universality 2024

This issue will be composed of extended selected communications presented at Machines, Computations and Universality 2024. Submission is by invitation only. The scope of the conference topics includes, but i...

Submission status

Closed

Selected Extended Papers of the 2024 Annual Conference on Theory and Applications of Models of Computation (TAMC 2024) in Acta Informatica

This special issue is dedicated to selected papers published in the 2024 Annual Conference on Theory and Applications of Models of Computation (TAMC 2024) that will be held in Hong Kong, China, May 13-15, 20...

Submission status

Closed

Selected Extended Papers from SOFSEM 2024

The 49th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2024) is organized by the University of Trier, Germany, during February 19th-23rd, 2024, held in Cochem,...

Submission status

Closed

Algorithms And Combinatorial Optimization

In this topical collection we will focus on research articles in the realms of combinatorial algorithms and optimizations. We plan to particularly attract papers in Parameterized Algorithms, Approximation Al...

Submission status

Closed

Advances in String Processing Algorithms and String Data Structures

Aims: This topical collection aims to explore the cutting-edge developments in string algorithms, their underlying mathematical structures, and their wide-ranging applications. String algorithms play a cruci...

Submission status

Closed

Selected Extended Papers of the 13th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2023)

NCMA 2023 was the 13th edition in a series of events established in 2009. These workshops aim to establish and maintain a permanent, international, multidisciplinary forum for the collaboration of researcher...

Submission status

Closed

Quantum Programming Languages: Theories and Methodologies

Quantum computing harbors the potential for remarkable strides in our computational capabilities, offering solutions to historically unsolvable problems. However, numerous challenges must be overcome to real...

Submission status

Closed