[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[With apologies for duplicate copies]
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:
- Dr. 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*
- Dr. Simon Perdrix (Inria, LORIA, CNRS, Université de Lorraine, France)
*Quantum computing, categorical quantum mechanics, causality,
contextuality, graphical approaches to quantum computing*
- Prof. 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
<
https://urldefense.com/v3/__https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/publish/guide-for-authors__;!!IBzWLUs!V1fPltSCBMi_Epcjj0N3mIJJQIJx73_7B16u2XF8HjQPA_9z6usa_S2hDbtVmZkYTEbP1s4Gk8KuksCaWBMGoW_hjb9vgdgK-IuMhpg$
>
- Manuscripts must be submitted via the JLAMP Editorial System (EM):
Submission
<https://urldefense.com/v3/__https://www.editorialmanager.com/jlamp/default.aspx__;!!IBzWLUs!V1fPltSCBMi_Epcjj0N3mIJJQIJx73_7B16u2XF8HjQPA_9z6usa_S2hDbtVmZkYTEbP1s4Gk8KuksCaWBMGoW_hjb9vgdgKZ4E33vc$
>
- During submission, please select “VSI: QPL 2024 and QPL 2025” as the
article type.
We look forward to receiving your contributions!
--
https://urldefense.com/v3/__https://members.loria.fr/ADiazCaro/__;!!IBzWLUs!V1fPltSCBMi_Epcjj0N3mIJJQIJx73_7B16u2XF8HjQPA_9z6usa_S2hDbtVmZkYTEbP1s4Gk8KuksCaWBMGoW_hjb9vgdgKA-skuYs$
