[TYPES/announce] 2nd CFP: JLAMP Special Issue for QPL 2024 & 2025

[Alejandro Díaz-Caro]

*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
   <https://urldefense.com/v3/__https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/publish/guide-for-authors__;!!IBzWLUs!TDuzUcqBNz_HkJKBC7WyJquYdpiYNzmA8ab3PnMJNBHa_KcXFBsIgyP9q3P0XxE-HgfLM3k1OBYu1yxRtjQLyjdeRoqAja8VqJKeUEQ$ >
   .
   - Manuscripts must be submitted via the JLAMP Editorial System (EM)
   <https://urldefense.com/v3/__https://www.editorialmanager.com/jlamp/default.aspx__;!!IBzWLUs!TDuzUcqBNz_HkJKBC7WyJquYdpiYNzmA8ab3PnMJNBHa_KcXFBsIgyP9q3P0XxE-HgfLM3k1OBYu1yxRtjQLyjdeRoqAja8VhGtfXGE$ >. 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!TDuzUcqBNz_HkJKBC7WyJquYdpiYNzmA8ab3PnMJNBHa_KcXFBsIgyP9q3P0XxE-HgfLM3k1OBYu1yxRtjQLyjdeRoqAja8VZzLED14$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251202/4cad2d3c/attachment.htm>