2nd CFP: JLAMP Special Issue for QPL 2024 & 2025

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


--===============6347744517693422787==
Content-Type: multipart/alternative; boundary="0000000000004dece40644f72aa6"

--0000000000004dece40644f72aa6
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:

   - Alejandro D=C3=ADaz-Caro (Inria, LORIA, CNRS, Universit=C3=A9 de Lorra=
ine &
   Universidad Nacional de Quilmes, France)
   *Quantum computing, lambda calculus, categorical semantics, logic in
   computer science.*
   - Simon Perdrix (Inria, LORIA, CNRS, Universit=C3=A9 de Lorraine, France)
   *Quantum computing, categorical quantum mechanics, causality,
   contextuality, graphical approaches to quantum computing.*
   - 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/journ=
al-of-logical-and-algebraic-methods-in-programming/publish/guide-for-author=
s__;!!IBzWLUs!TDuzUcqBNz_HkJKBC7WyJquYdpiYNzmA8ab3PnMJNBHa_KcXFBsIgyP9q3P0X=
xE-HgfLM3k1OBYu1yxRtjQLyjdeRoqAja8VqJKeUEQ$ >
   .
   - Manuscripts must be submitted via the JLAMP Editorial System (EM)
   <https://urldefense.com/v3/__https://www.editorialmanager.com/jlamp/defa=
ult.aspx__;!!IBzWLUs!TDuzUcqBNz_HkJKBC7WyJquYdpiYNzmA8ab3PnMJNBHa_KcXFBsIgy=
P9q3P0XxE-HgfLM3k1OBYu1yxRtjQLyjdeRoqAja8VhGtfXGE$ >. During
   submission, please select =E2=80=9CVSI: QPL 2024 and QPL 2025=E2=80=9D a=
s the article type.

We look forward to receiving your contributions!

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

--0000000000004dece40644f72aa6
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><div class=3D"gmail_quote"><div dir=3D"ltr"><div><b>Special I=
ssue on Quantum Physics and Logic (QPL 2024 and QPL 2025)</b><br>Submission=
 deadline: 14 February 2026<br><i><font color=3D"#0000ff">Accepted papers w=
ill be published online individually as soon as they are ready, without wai=
ting for the deadline or the completion of the full special issue.</font></=
i><br><br>Guest editors:<br><ul><li style=3D"padding-bottom:0.6001em">Aleja=
ndro D=C3=ADaz-Caro (Inria, LORIA, CNRS, Universit=C3=A9 de Lorraine &amp; =
Universidad Nacional de Quilmes, France)<br><i>Quantum computing, lambda ca=
lculus, categorical semantics, logic in computer science.</i></li><li style=
=3D"padding-bottom:0.6001em">Simon Perdrix (Inria, LORIA, CNRS, Universit=
=C3=A9 de Lorraine, France)<br><i>Quantum computing, categorical quantum me=
chanics, causality, contextuality, graphical approaches to quantum computin=
g.</i></li><li style=3D"padding-bottom:0.6001em">Beno=C3=AEt Valiron (LMF, =
CentraleSup=C3=A9lec, Inria, Universit=C3=A9 Paris-Saclay, France)<br><i>Qu=
antum programming languages, type theory, semantics.</i></li></ul>Special i=
ssue information:<br><br>We invite submissions for a Special Issue of <b>Jo=
urnal of Logical and Algebraic Methods in Programming (JLAMP)</b>=C2=A0dedi=
cated to post-proceedings of the 21st and 22nd editions of the <b>Internati=
onal Conference on Quantum Physics and Logic</b>=C2=A0(QPL 2024 and QPL 202=
5). <i>Submissions are welcome both from extended versions of papers presen=
ted at these conferences and from external contributions within the same th=
ematic scope.</i><br><br>The Special Issue focuses on recent advances at th=
e intersection of quantum computing, logic, and programming languages. Topi=
cs of interest include, but are not limited to:<br><ul><li style=3D"padding=
-bottom:0.6001em">Algebraic and categorical structures in quantum computati=
on and quantum physics</li><li style=3D"padding-bottom:0.6001em">Formal lan=
guages, type systems, and semantic methods for quantum programming</li><li =
style=3D"padding-bottom:0.6001em">Logical frameworks and verification techn=
iques for quantum algorithms and systems</li><li style=3D"padding-bottom:0.=
6001em">Compositional approaches and process calculi for quantum protocols<=
/li><li style=3D"padding-bottom:0.6001em">Diagrammatic and graphical langua=
ges, such as the ZX-calculus</li><li style=3D"padding-bottom:0.6001em">Appl=
ications of quantum and quantum-inspired techniques to causality, linguisti=
cs, and logic</li></ul>This Special Issue aims to contribute to the develop=
ment of the logical and algebraic foundations of quantum computation.<br><b=
r>Manuscript submission information:<br><ul><li style=3D"padding-bottom:0.6=
001em">Submissions should follow JLAMP=E2=80=99s guidelines for authors, av=
ailable at: <a href=3D"https://urldefense.com/v3/__https://www.sciencedirec=
t.com/journal/journal-of-logical-and-algebraic-methods-in-programming/publi=
sh/guide-for-authors__;!!IBzWLUs!TDuzUcqBNz_HkJKBC7WyJquYdpiYNzmA8ab3PnMJNB=
Ha_KcXFBsIgyP9q3P0XxE-HgfLM3k1OBYu1yxRtjQLyjdeRoqAja8VqJKeUEQ$" target=3D"_=
blank">Guide for Authors</a>.</li><li style=3D"padding-bottom:0.6001em">Man=
uscripts must be submitted via the <a href=3D"https://urldefense.com/v3/__h=
ttps://www.editorialmanager.com/jlamp/default.aspx__;!!IBzWLUs!TDuzUcqBNz_H=
kJKBC7WyJquYdpiYNzmA8ab3PnMJNBHa_KcXFBsIgyP9q3P0XxE-HgfLM3k1OBYu1yxRtjQLyjd=
eRoqAja8VhGtfXGE$" target=3D"_blank">JLAMP Editorial System (EM)</a>. Durin=
g submission, please select =E2=80=9CVSI: QPL 2024 and QPL 2025=E2=80=9D as=
 the article type.</li></ul>We look forward to receiving your contributions=
!<br clear=3D"all"></div><div><br></div></div></div></div></div></div><span=
 class=3D"gmail_signature_prefix">-- </span><br><div dir=3D"ltr" class=3D"g=
mail_signature" data-smartmail=3D"gmail_signature"><div dir=3D"ltr"><div><a=
 href=3D"https://urldefense.com/v3/__https://members.loria.fr/ADiazCaro/__;=
!!IBzWLUs!TDuzUcqBNz_HkJKBC7WyJquYdpiYNzmA8ab3PnMJNBHa_KcXFBsIgyP9q3P0XxE-H=
gfLM3k1OBYu1yxRtjQLyjdeRoqAja8VZzLED14$" target=3D"_blank">https://members.=
loria.fr/ADiazCaro/</a></div></div></div></div>

--0000000000004dece40644f72aa6--

--===============6347744517693422787==--