Collections and calls for papers

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

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

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

Upcoming

Open for submission

20 July 2024 - 15 August 2024

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

Selected Extended Papers from Machine Computation and Universality 2024

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

Submission status

Open

Submission deadline

01 October 2024

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

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

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

Open

Submission deadline

31 July 2024