[TYPES/announce] JLAMP Special Issue for QPL 2024 & 2025 – Submissions Open

[Alejandro Díaz-Caro]

[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$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250606/b658ab87/attachment-0001.htm>