Acta Informatica - Topical Collections - Call for Papers
We welcome submissions for the upcoming Topical Collections of Acta Informatica. Please note that deadlines are always meant as Anywhere on Earth (AoE).
Topical Collection on Algorithms and Combinatorial Optimization
Guest Editor: Fahad Panolan, Akanksha Agrawal
Deadline for submissions: 28th March 2024
Topical Collection on Quantum Programming Languages: Theories and Methodologies
Guest Editors: Nengkung Yu, Mingsheng Ying
Deadline for submissions: 1st April 2024
Topical Collection on Advances in String Processing Algorithms and String Data Structures
Guest Editors: Dominik Köppl, Golnaz Badkobeh
Deadline for submissions: 1st April 2024
Topical Collection on Hyperproperties: Foundations and Applications
Guest Editors: Hazem Torfah, Hadar Frenkel, Niklas Metzger
Deadline for submissions: 30th November 2024
Topical Collection on Selected Extended Papers of SMT 2024 and Related Papers
Guest Editors: Yoni Zohar, Giles Reger
Deadline for submissions: 1st December 2024