[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
This email is just to confirm that the new submission deadline is *April
12th*.
Please note that we do not wait for the deadline to begin the review
process; your paper will be sent for review as soon as it is received and
published individually upon acceptance. This extension is intended solely
to provide more time for submissions and will not cause any delays for the
publications.
Kind regards,
The guest editors
==== CALL FOR PAPERS ====
Special Issue on Quantum Physics and Logic (QPL 2024 and QPL 2025)
Submission deadline: 14 February 2026 *12 April 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!U-UMtnXaDA8n38-0quE0X10rr7qbuWM6TlUwx3CklrajE47BNNQjR7Sb5up8FSDTJR54fb0Lu52pK4fWyq4zb5sd5lN5qKbCNoNEIug$
>
- Manuscripts must be submitted via the JLAMP Editorial System (EM):
Submission
<https://urldefense.com/v3/__https://www.editorialmanager.com/jlamp/default.aspx__;!!IBzWLUs!U-UMtnXaDA8n38-0quE0X10rr7qbuWM6TlUwx3CklrajE47BNNQjR7Sb5up8FSDTJR54fb0Lu52pK4fWyq4zb5sd5lN5qKbCKa8rPiU$
>
- 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!U-UMtnXaDA8n38-0quE0X10rr7qbuWM6TlUwx3CklrajE47BNNQjR7Sb5up8FSDTJR54fb0Lu52pK4fWyq4zb5sd5lN5qKbCWr2XpHI$
