JLAMP Special Issue for QPL 2024 & 2025 – LAST CALL FOR PAPERS

--===============4532303710982688117==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


--===============4532303710982688117==
Content-Type: multipart/alternative; boundary="000000000000dcea1e064a3c4d95"

--000000000000dcea1e064a3c4d95
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

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=C3=ADaz-Caro (Inria, LORIA, CNRS, Universit=C3=A9 de L=
orraine &
Universidad Nacional de Quilmes, France)
   *Quantum computing, lambda calculus, categorical semantics, logic in
computer science*

   - Dr. Simon Perdrix (Inria, LORIA, CNRS, Universit=C3=A9 de Lorraine, Fr=
ance)
   *Quantum computing, categorical quantum mechanics, causality,
contextuality, graphical approaches to quantum computing*

   - Prof. Beno=C3=AEt Valiron (LMF, CentraleSup=C3=A9lec, Inria, Universit=
=C3=A9
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=E2=80=99s guidelines for authors, avai=
lable
at: Guide for Authors
   <
https://urldefense.com/v3/__https://www.sciencedirect.com/journal/journal-o=
f-logical-and-algebraic-methods-in-programming/publish/guide-for-authors__;=
!!IBzWLUs!QXEO0PPzPh7tNUKrTHuYIb7yiymkOVsRI_vngx2yCTgw6L_04q2eBJI31gvACRoYz=
jDPBBpmp-Fs2fzm9uDjeqnhUyNUh0wONhp07qQ$=20
>

   - Manuscripts must be submitted via the JLAMP Editorial System (EM):
Submission
   <https://urldefense.com/v3/__https://www.editorialmanager.com/jlamp/defa=
ult.aspx__;!!IBzWLUs!QXEO0PPzPh7tNUKrTHuYIb7yiymkOVsRI_vngx2yCTgw6L_04q2eBJ=
I31gvACRoYzjDPBBpmp-Fs2fzm9uDjeqnhUyNUh0wOpENkrYA$ >

   - During submission, please select =E2=80=9CVSI: QPL 2024 and QPL 2025=
=E2=80=9D as the
article type.

We look forward to receiving your contributions!

--=20
https://urldefense.com/v3/__https://members.loria.fr/ADiazCaro/__;!!IBzWLUs=
!QXEO0PPzPh7tNUKrTHuYIb7yiymkOVsRI_vngx2yCTgw6L_04q2eBJI31gvACRoYzjDPBBpmp-=
Fs2fzm9uDjeqnhUyNUh0wONkoAcUQ$=20

--000000000000dcea1e064a3c4d95
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_quote gmail_quote_container"><div dir=
=3D"ltr"><div>Special Issue on Quantum Physics and Logic (QPL 2024 and QPL =
2025)<br>Submission deadline: 14 February 2026<br>**Accepted papers will be=
 published online individually as soon as they are ready, without waiting f=
or the deadline or the completion of the full special issue.**<br><br>Guest=
 editors:<br><br>=C2=A0 =C2=A0- Dr. Alejandro D=C3=ADaz-Caro (Inria, LORIA,=
 CNRS, Universit=C3=A9 de Lorraine &amp; Universidad Nacional de Quilmes, F=
rance)<br>=C2=A0 =C2=A0*Quantum computing, lambda calculus, categorical sem=
antics, logic in computer science*<br><br>=C2=A0 =C2=A0- Dr. Simon Perdrix =
(Inria, LORIA, CNRS, Universit=C3=A9 de Lorraine, France)<br>=C2=A0 =C2=A0*=
Quantum computing, categorical quantum mechanics, causality, contextuality,=
 graphical approaches to quantum computing*<br>=C2=A0 =C2=A0<br>=C2=A0 =C2=
=A0- Prof. Beno=C3=AEt Valiron (LMF, CentraleSup=C3=A9lec, Inria, Universit=
=C3=A9 Paris-Saclay, France)<br>=C2=A0 =C2=A0*Quantum programming languages=
, type theory, semantics*<br><br>Special issue information:<br><br>We invit=
e submissions for a Special Issue of *Journal of Logical and Algebraic Meth=
ods in Programming (JLAMP)* dedicated to post-proceedings of the 21st and 2=
2nd editions of the *International Conference on Quantum Physics and Logic*=
 (QPL 2024 and QPL 2025). *Submissions are welcome both from extended versi=
ons of papers presented at these conferences and from external contribution=
s within the same thematic scope.*<br><br>The Special Issue focuses on rece=
nt advances at the intersection of quantum computing, logic, and programmin=
g languages. Topics of interest include, but are not limited to:<br><br>=C2=
=A0 =C2=A0- Algebraic and categorical structures in quantum computation and=
 quantum physics<br>=C2=A0 =C2=A0- Formal languages, type systems, and sema=
ntic methods for quantum programming<br>=C2=A0 =C2=A0- Logical frameworks a=
nd verification techniques for quantum algorithms and systems<br>=C2=A0 =C2=
=A0- Compositional approaches and process calculi for quantum protocols<br>=
=C2=A0 =C2=A0- Diagrammatic and graphical languages, such as the ZX-calculu=
s<br>=C2=A0 =C2=A0- Applications of quantum and quantum-inspired techniques=
 to causality, linguistics, and logic<br><br>This Special Issue aims to con=
tribute to the development of the logical and algebraic foundations of quan=
tum computation.<br><br>Manuscript submission information:<br><br>=C2=A0 =
=C2=A0- Submissions should follow JLAMP=E2=80=99s guidelines for authors, a=
vailable at: Guide for Authors<br>=C2=A0 =C2=A0&lt;<a href=3D"https://urlde=
fense.com/v3/__https://www.sciencedirect.com/journal/journal-of-logical-and=
-algebraic-methods-in-programming/publish/guide-for-authors__;!!IBzWLUs!QXE=
O0PPzPh7tNUKrTHuYIb7yiymkOVsRI_vngx2yCTgw6L_04q2eBJI31gvACRoYzjDPBBpmp-Fs2f=
zm9uDjeqnhUyNUh0wONhp07qQ$" target=3D"_blank">https://www.sciencedirect.com=
/journal/journal-of-logical-and-algebraic-methods-in-programming/publish/gu=
ide-for-authors</a>&gt;<br>=C2=A0 =C2=A0<br>=C2=A0 =C2=A0- Manuscripts must=
 be submitted via the JLAMP Editorial System (EM): Submission<br>=C2=A0 =C2=
=A0&lt;<a href=3D"https://urldefense.com/v3/__https://www.editorialmanager.=
com/jlamp/default.aspx__;!!IBzWLUs!QXEO0PPzPh7tNUKrTHuYIb7yiymkOVsRI_vngx2y=
CTgw6L_04q2eBJI31gvACRoYzjDPBBpmp-Fs2fzm9uDjeqnhUyNUh0wOpENkrYA$" target=3D=
"_blank">https://www.editorialmanager.com/jlamp/default.aspx</a>&gt;<br><br=
>=C2=A0 =C2=A0- During submission, please select =E2=80=9CVSI: QPL 2024 and=
 QPL 2025=E2=80=9D as the article type.<br><br>We look forward to receiving=
 your contributions!<br clear=3D"all"></div><div><br></div></div></div><spa=
n class=3D"gmail_signature_prefix">-- </span><br><div dir=3D"ltr" class=3D"=
gmail_signature" data-smartmail=3D"gmail_signature"><div dir=3D"ltr"><div><=
a href=3D"https://urldefense.com/v3/__https://members.loria.fr/ADiazCaro/__=
;!!IBzWLUs!QXEO0PPzPh7tNUKrTHuYIb7yiymkOVsRI_vngx2yCTgw6L_04q2eBJI31gvACRoY=
zjDPBBpmp-Fs2fzm9uDjeqnhUyNUh0wONkoAcUQ$" target=3D"_blank">https://members=
.loria.fr/ADiazCaro/</a></div></div></div></div>

--000000000000dcea1e064a3c4d95--

--===============4532303710982688117==--