<div dir="ltr"><div>[With apologies for duplicate copies]<br><br>Special Issue on Quantum Physics and Logic (QPL 2024 and QPL 2025)<br>Submission deadline: 14 February 2026<br>**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.**<br><br>Guest editors:<br><br>   - Dr. Alejandro Díaz-Caro (Inria, LORIA, CNRS, Université de Lorraine & Universidad Nacional de Quilmes, France)<br>   *Quantum computing, lambda calculus, categorical semantics, logic in computer science*<br><br>   - Dr. Simon Perdrix (Inria, LORIA, CNRS, Université de Lorraine, France)<br>   *Quantum computing, categorical quantum mechanics, causality, contextuality, graphical approaches to quantum computing*<br>   <br>   - Prof. Benoît Valiron (LMF, CentraleSupélec, Inria, Université Paris-Saclay, France)<br>   *Quantum programming languages, type theory, semantics*<br><br>Special issue information:<br><br>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.*<br><br>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:<br><br>   - Algebraic and categorical structures in quantum computation and quantum physics<br>   - Formal languages, type systems, and semantic methods for quantum programming<br>   - Logical frameworks and verification techniques for quantum algorithms and systems<br>   - Compositional approaches and process calculi for quantum protocols<br>   - Diagrammatic and graphical languages, such as the ZX-calculus<br>   - Applications of quantum and quantum-inspired techniques to causality, linguistics, and logic<br><br>This Special Issue aims to contribute to the development of the logical and algebraic foundations of quantum computation.<br><br>Manuscript submission information:<br><br>   - Submissions should follow JLAMP’s guidelines for authors, available at: Guide for Authors<br>   <<a href="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$">https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/publish/guide-for-authors</a>><br>   <br>   - Manuscripts must be submitted via the JLAMP Editorial System (EM): Submission<br>   <<a href="https://urldefense.com/v3/__https://www.editorialmanager.com/jlamp/default.aspx__;!!IBzWLUs!V1fPltSCBMi_Epcjj0N3mIJJQIJx73_7B16u2XF8HjQPA_9z6usa_S2hDbtVmZkYTEbP1s4Gk8KuksCaWBMGoW_hjb9vgdgKZ4E33vc$">https://www.editorialmanager.com/jlamp/default.aspx</a>><br><br>   - During submission, please select “VSI: QPL 2024 and QPL 2025” as the article type.<br><br>We look forward to receiving your contributions!<br clear="all"></div><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><a href="https://urldefense.com/v3/__https://members.loria.fr/ADiazCaro/__;!!IBzWLUs!V1fPltSCBMi_Epcjj0N3mIJJQIJx73_7B16u2XF8HjQPA_9z6usa_S2hDbtVmZkYTEbP1s4Gk8KuksCaWBMGoW_hjb9vgdgKA-skuYs$" target="_blank">https://members.loria.fr/ADiazCaro/</a></div></div></div></div>