JLAMP Special Issue for QPL 2024 & 2025 – Submissions Open

--===============0154670048842280777==
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 ]


--===============0154670048842280777==
Content-Type: multipart/alternative; boundary="0000000000000c42960636e5f7c8"

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

[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=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!V1fPltSCBMi_Epcjj0N3mIJJQIJx73_7B16u2XF8HjQPA_9z6usa_S2hDbtVmZkYT=
EbP1s4Gk8KuksCaWBMGoW_hjb9vgdgK-IuMhpg$=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!V1fPltSCBMi_Epcjj0N3mIJJQIJx73_7B16u2XF8HjQPA_9z6usa_S=
2hDbtVmZkYTEbP1s4Gk8KuksCaWBMGoW_hjb9vgdgKZ4E33vc$ >

   - 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=
!V1fPltSCBMi_Epcjj0N3mIJJQIJx73_7B16u2XF8HjQPA_9z6usa_S2hDbtVmZkYTEbP1s4Gk8=
KuksCaWBMGoW_hjb9vgdgKA-skuYs$=20

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

<div dir=3D"ltr"><div>[With apologies for duplicate copies]<br><br>Special =
Issue on Quantum Physics and Logic (QPL 2024 and QPL 2025)<br>Submission de=
adline: 14 February 2026<br>**Accepted papers will be published online indi=
vidually as soon as they are ready, without waiting for 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, France)<br>=C2=A0 =
=C2=A0*Quantum computing, lambda calculus, categorical semantics, logic in =
computer science*<br><br>=C2=A0 =C2=A0- Dr. Simon Perdrix (Inria, LORIA, CN=
RS, Universit=C3=A9 de Lorraine, France)<br>=C2=A0 =C2=A0*Quantum computing=
, categorical quantum mechanics, causality, contextuality, graphical approa=
ches 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-Sacla=
y, France)<br>=C2=A0 =C2=A0*Quantum programming languages, type theory, sem=
antics*<br><br>Special issue information:<br><br>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 th=
e *International Conference on Quantum Physics and Logic* (QPL 2024 and QPL=
 2025). *Submissions are welcome both from extended versions of papers pres=
ented at these conferences and from external contributions within the same =
thematic scope.*<br><br>The Special Issue focuses on recent advances at the=
 intersection of quantum computing, logic, and programming languages. Topic=
s of interest include, but are not limited to:<br><br>=C2=A0 =C2=A0- Algebr=
aic and categorical structures in quantum computation and quantum physics<b=
r>=C2=A0 =C2=A0- Formal languages, type systems, and semantic methods for q=
uantum programming<br>=C2=A0 =C2=A0- Logical frameworks and verification te=
chniques for quantum algorithms and systems<br>=C2=A0 =C2=A0- Compositional=
 approaches and process calculi for quantum protocols<br>=C2=A0 =C2=A0- Dia=
grammatic and graphical languages, such as the ZX-calculus<br>=C2=A0 =C2=A0=
- Applications of quantum and quantum-inspired techniques to causality, lin=
guistics, and logic<br><br>This Special Issue aims to contribute to the dev=
elopment of the logical and algebraic foundations of quantum computation.<b=
r><br>Manuscript submission information:<br><br>=C2=A0 =C2=A0- Submissions =
should follow JLAMP=E2=80=99s guidelines for authors, available at: Guide f=
or Authors<br>=C2=A0 =C2=A0&lt;<a href=3D"https://urldefense.com/v3/__https=
://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-i=
n-programming/publish/guide-for-authors__;!!IBzWLUs!V1fPltSCBMi_Epcjj0N3mIJ=
JQIJx73_7B16u2XF8HjQPA_9z6usa_S2hDbtVmZkYTEbP1s4Gk8KuksCaWBMGoW_hjb9vgdgK-I=
uMhpg$">https://www.sciencedirect.com/journal/journal-of-logical-and-algebr=
aic-methods-in-programming/publish/guide-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!V1=
fPltSCBMi_Epcjj0N3mIJJQIJx73_7B16u2XF8HjQPA_9z6usa_S2hDbtVmZkYTEbP1s4Gk8Kuk=
sCaWBMGoW_hjb9vgdgKZ4E33vc$">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><span class=3D"gmail_signature_prefix">-- </span><br><div dir=3D"ltr" c=
lass=3D"gmail_signature" data-smartmail=3D"gmail_signature"><div dir=3D"ltr=
"><div><a href=3D"https://urldefense.com/v3/__https://members.loria.fr/ADia=
zCaro/__;!!IBzWLUs!V1fPltSCBMi_Epcjj0N3mIJJQIJx73_7B16u2XF8HjQPA_9z6usa_S2h=
DbtVmZkYTEbP1s4Gk8KuksCaWBMGoW_hjb9vgdgKA-skuYs$" target=3D"_blank">https:/=
/members.loria.fr/ADiazCaro/</a></div></div></div></div>

--0000000000000c42960636e5f7c8--

--===============0154670048842280777==--