Fwd: [PT] JLAMP Special Issue for QPL 2024 & 2025 – Submissions Open
20 views
Skip to first unread message
Marcelo Finger
Jun 13, 2025, 3:28:42 PM6/13/25
to Lista dos Logicos Brasileiros
---------- Forwarded meossage ---------
From: Alejandro Díaz-Caro <alej...@diaz-caro.info>
Date: Fri, Jun 13, 2025 at 6:32 AM
Subject: [PT] JLAMP Special Issue for QPL 2024 & 2025 – Submissions Open
To: <gdr...@gdr-ifm.fr>, Lógica, Computación e Información Cuántica <lo...@googlegroups.com>, <types-a...@lists.seas.upenn.edu>, <QM-STR...@jiscmail.ac.uk>, <Proof...@lists.bath.ac.uk>, <quantum-f...@maillist.ox.ac.uk>
From: Alejandro Díaz-Caro <alej...@diaz-caro.info>
Date: Fri, Jun 13, 2025 at 6:32 AM
Subject: [PT] JLAMP Special Issue for QPL 2024 & 2025 – Submissions Open
To: <gdr...@gdr-ifm.fr>, Lógica, Computación e Información Cuántica <lo...@googlegroups.com>, <types-a...@lists.seas.upenn.edu>, <QM-STR...@jiscmail.ac.uk>, <Proof...@lists.bath.ac.uk>, <quantum-f...@maillist.ox.ac.uk>
[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://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.
We look forward to receiving your contributions!
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://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.
We look forward to receiving your contributions!
ORCID: https://orcid.org/0000-0002-1391-1175
ResearcherID: A-4670-2009
ResearcherID: A-4670-2009
Instituto de Matemática e Estatística,
Universidade de São Paulo
Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP
Reply all
Reply to author
Forward
0 new messages