[TYPES/announce] QPL 2024 & QPL2025 Special Issue of "Journal of Logical and Algebraic Methods in Programming"

[Alejandro Díaz-Caro]

Special Issue on Quantum Physics and Logic (QPL 2024 and QPL 2025)
Submission deadline: 14 February 2026

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://nam11.safelinks.protection.outlook.com/?url=https*3A*2F*2Fwww.sciencedirect.com*2Fjournal*2Fjournal-of-logical-and-algebraic-methods-in-programming*2Fpublish*2Fguide-for-authors&data=05*7C02*7CKelly.Liu*40elsevier.com*7C4bd0007047ed4a28876608dd868f7b58*7C9274ee3f94254109a27f9fb15c10675d*7C0*7C0*7C638814673012109590*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C0*7C*7C*7C&sdata=MNcepN6s5lMXkTmy1tWcdACR015wPGvjdjjsubevCEs*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!QfIQmT9G66CGE-vwuSlh02vrk5QwpSISUAg8ajDyU-uf1HQDN9mr7POwqWuiDW_YV3YoFQAaepmb-6JRGyncMne8jrdpkukwvOs_2KU$ >
   - Manuscripts must be submitted via the JLAMP Editorial System
(EM): Submission
   Link
   <https://urldefense.com/v3/__https://nam11.safelinks.protection.outlook.com/?url=https*3A*2F*2Fwww.editorialmanager.com*2Fjlamp*2Fdefault.aspx&data=05*7C02*7CKelly.Liu*40elsevier.com*7C4bd0007047ed4a28876608dd868f7b58*7C9274ee3f94254109a27f9fb15c10675d*7C0*7C0*7C638814673012129627*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C0*7C*7C*7C&sdata=URzhOdDtqDlby3OOeXGaOifk9kSNxGVwvEV3X4km*2Bb4*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSU!!IBzWLUs!QfIQmT9G66CGE-vwuSlh02vrk5QwpSISUAg8ajDyU-uf1HQDN9mr7POwqWuiDW_YV3YoFQAaepmb-6JRGyncMne8jrdpkukwIHCJf-M$ >
   - During submission, please select “VSI: QPL 2024 and QPL 2025” as the
   article type.

Important Dates:

   - Submission open date: *June 1, 2025*
   - Manuscript submission deadline: *February 14, 2026*

We look forward to receiving your contributions!

-- 
https://urldefense.com/v3/__https://members.loria.fr/ADiazCaro/__;!!IBzWLUs!QfIQmT9G66CGE-vwuSlh02vrk5QwpSISUAg8ajDyU-uf1HQDN9mr7POwqWuiDW_YV3YoFQAaepmb-6JRGyncMne8jrdpkukw8jDk768$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250505/b18a4170/attachment.htm>