Special Issue on Quantum Physics and Logic (QPL 2024 and QPL 2025)
Submission deadline: 14 February 2026
Accepted papers will be published online individually as soon as they are ready, without waiting for the deadline or the completion of the full special issue.
Guest editors:
Alejandro Díaz-Caro (Inria, LORIA, CNRS, Université de Lorraine & Universidad Nacional de Quilmes, France)
Quantum computing, lambda calculus, categorical semantics, logic in computer science.
Simon Perdrix (Inria, LORIA, CNRS, Université de Lorraine, France)
Quantum computing, categorical quantum mechanics, causality, contextuality, graphical approaches to quantum computing.
Benoît Valiron (LMF, CentraleSupélec, Inria, Université Paris-Saclay, France)
Quantum programming languages, type theory, semantics.
Special issue information:
We invite submissions for a Special Issue of Journal of Logical and Algebraic Methods in Programming (JLAMP) dedicated to post-proceedings of the 21st and 22nd editions of the International Conference on Quantum Physics and Logic (QPL 2024 and QPL 2025). Submissions are welcome both from extended versions of papers presented at these conferences and from external contributions within the same thematic scope.
The Special Issue focuses on recent advances at the intersection of quantum computing, logic, and programming languages. Topics of interest include, but are not limited to:
Algebraic and categorical structures in quantum computation and quantum physics
Formal languages, type systems, and semantic methods for quantum programming
Logical frameworks and verification techniques for quantum algorithms and systems
Compositional approaches and process calculi for quantum protocols
Diagrammatic and graphical languages, such as the ZX-calculus
Applications of quantum and quantum-inspired techniques to causality, linguistics, and logic
This Special Issue aims to contribute to the development of the logical and algebraic foundations of quantum computation.
Manuscript submission information:
Submissions should follow JLAMP’s guidelines for authors, available at: Guide for Authors.
Manuscripts must be submitted via the JLAMP Editorial System (EM). During submission, please select “VSI: QPL 2024 and QPL 2025” as the article type.
We look forward to receiving your contributions!
--
https://members.loria.fr/ADiazCaro/