---------- Forwarded meossage --------- From: Alejandro Díaz-Caro <[email protected]> Date: Fri, Jun 13, 2025 at 6:32 AM Subject: [PT] JLAMP Special Issue for QPL 2024 & 2025 – Submissions Open To: <[email protected]>, Lógica, Computación e Información Cuántica < [email protected]>, <[email protected]>, < [email protected]>, <[email protected]>, < [email protected]>
[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! -- https://members.loria.fr/ADiazCaro/ -- Marcelo Finger Departament of Computer Science, IME-USP http://www.ime.usp.br/~mfinger ORCID: https://orcid.org/0000-0002-1391-1175 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 -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw1bmT7og7LDMbrcALjdjtQ6_hKxyRMkcPPWYngW-jYZmw%40mail.gmail.com.
