JLAMP Special Issue for QPL 2024 & 2025 – Deadline April 12

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


--===============6966629259848090706==
Content-Type: multipart/alternative; boundary="00000000000004fefa064ef2ad00"

--00000000000004fefa064ef2ad00
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: 12 April 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 de la Rep=C3=BAblica & 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/journal-o=
f-logical-and-algebraic-methods-in-programming/publish/guide-for-authors__;=
!!IBzWLUs!VDqWp7cTrI3QBsAR9bByYXiNF7X6ryY6pnC4ZuUuK-ulb7n_Wzbt-AGRDapPGajYD=
6tM-CooSVcrqH28kY0P6x2F9N3-pDlbZx_zwWc$=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!VDqWp7cTrI3QBsAR9bByYXiNF7X6ryY6pnC4ZuUuK-ulb7n_Wzbt-A=
GRDapPGajYD6tM-CooSVcrqH28kY0P6x2F9N3-pDlbYZEuhbs$ >

   - 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=
!VDqWp7cTrI3QBsAR9bByYXiNF7X6ryY6pnC4ZuUuK-ulb7n_Wzbt-AGRDapPGajYD6tM-CooSV=
crqH28kY0P6x2F9N3-pDlbfFLBKyc$=20

--00000000000004fefa064ef2ad00
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 class=3D"gmail_quote"><div dir=3D"ltr"><div>Special Issue on =
Quantum Physics and Logic (QPL 2024 and QPL 2025)<br>Submission deadline: 1=
2 April 2026<br>**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.**<br><br>Guest editors:<br><br>=C2=A0 =C2=A0- Al=
ejandro D=C3=ADaz-Caro (Inria, LORIA, CNRS, Universit=C3=A9 de Lorraine &am=
p; Universidad de la Rep=C3=BAblica &amp; Universidad Nacional de Quilmes, =
France)<br>=C2=A0 =C2=A0*Quantum computing, lambda calculus, categorical se=
mantics, logic in computer science*<br><br>=C2=A0 =C2=A0- Simon Perdrix (In=
ria, LORIA, CNRS, Universit=C3=A9 de Lorraine, France)<br>=C2=A0 =C2=A0*Qua=
ntum computing, categorical quantum mechanics, causality, contextuality, gr=
aphical approaches to quantum computing*<br>=C2=A0 =C2=A0<br>=C2=A0 =C2=A0-=
 Beno=C3=AEt Valiron (LMF, CentraleSup=C3=A9lec, Inria, Universit=C3=A9 Par=
is-Saclay, France)<br>=C2=A0 =C2=A0*Quantum programming languages, type the=
ory, semantics*<br><br>Special issue information:<br><br>We invite submissi=
ons for a Special Issue of *Journal of Logical and Algebraic Methods in Pro=
gramming (JLAMP)* dedicated to post-proceedings of the 21st and 22nd editio=
ns of the *International Conference on Quantum Physics and Logic* (QPL 2024=
 and QPL 2025). *Submissions are welcome both from extended versions of pap=
ers presented at these conferences and from external contributions within t=
he same thematic scope.*<br><br>The Special Issue focuses on recent advance=
s at the intersection of quantum computing, logic, and programming language=
s. Topics of interest include, but are not limited to:<br><br>=C2=A0 =C2=A0=
- Algebraic and categorical structures in quantum computation and quantum p=
hysics<br>=C2=A0 =C2=A0- Formal languages, type systems, and semantic metho=
ds for quantum programming<br>=C2=A0 =C2=A0- Logical frameworks and verific=
ation techniques for quantum algorithms and systems<br>=C2=A0 =C2=A0- Compo=
sitional approaches and process calculi for quantum protocols<br>=C2=A0 =C2=
=A0- Diagrammatic and graphical languages, such as the ZX-calculus<br>=C2=
=A0 =C2=A0- Applications of quantum and quantum-inspired techniques to caus=
ality, linguistics, and logic<br><br>This Special Issue aims to contribute =
to the development of the logical and algebraic foundations of quantum comp=
utation.<br><br>Manuscript submission information:<br><br>=C2=A0 =C2=A0- Su=
bmissions should follow JLAMP=E2=80=99s guidelines for authors, available a=
t: Guide for 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-in-programming/publish/guide-for-authors__;!!IBzWLUs!VDqWp7cTrI3QB=
sAR9bByYXiNF7X6ryY6pnC4ZuUuK-ulb7n_Wzbt-AGRDapPGajYD6tM-CooSVcrqH28kY0P6x2F=
9N3-pDlbZx_zwWc$" target=3D"_blank">https://www.sciencedirect.com/journal/j=
ournal-of-logical-and-algebraic-methods-in-programming/publish/guide-for-au=
thors</a>&gt;<br>=C2=A0 =C2=A0<br>=C2=A0 =C2=A0- Manuscripts must be submit=
ted 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!VDqWp7cTrI3QBsAR9bByYXiNF7X6ryY6pnC4ZuUuK-ulb7n_Wz=
bt-AGRDapPGajYD6tM-CooSVcrqH28kY0P6x2F9N3-pDlbYZEuhbs$" target=3D"_blank">h=
ttps://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 202=
5=E2=80=9D as the article type.<br><br>We look forward to receiving your co=
ntributions!<br clear=3D"all"></div><div><br></div></div></div></div></div>=
<span class=3D"gmail_signature_prefix">-- </span><br><div dir=3D"ltr" class=
=3D"gmail_signature" data-smartmail=3D"gmail_signature"><div dir=3D"ltr"><d=
iv><a href=3D"https://urldefense.com/v3/__https://members.loria.fr/ADiazCar=
o/__;!!IBzWLUs!VDqWp7cTrI3QBsAR9bByYXiNF7X6ryY6pnC4ZuUuK-ulb7n_Wzbt-AGRDapP=
GajYD6tM-CooSVcrqH28kY0P6x2F9N3-pDlbfFLBKyc$" target=3D"_blank">https://mem=
bers.loria.fr/ADiazCaro/</a></div></div></div></div>

--00000000000004fefa064ef2ad00--

--===============6966629259848090706==--