Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: community: events

Topic: > QPL 2024 & QPL 2025 Special Issue of JLAMP

Alejandro Díaz-Caro (May 07 2025 at 21:15):

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

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://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/publish/guide-for-authors

Manuscripts must be submitted via the JLAMP Editorial System (EM): Submission
https://www.editorialmanager.com/jlamp/default.aspx

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

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.

We look forward to receiving your contributions!