JLAMP Special Issue for QPL 2024 & 2025 - Deadline extension: April 12th

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


--===============1162799044650169597==
Content-Type: multipart/alternative; boundary="000000000000f61274064a9c108e"

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

Dear all,

This email is just to confirm that the new submission deadline is *April
12th*.

Please note that we do not wait for the deadline to begin the review
process; your paper will be sent for review as soon as it is received and
published individually upon acceptance. This extension is intended solely
to provide more time for submissions and will not cause any delays for the
publications.

Kind regards,
The guest editors


=3D=3D=3D=3D CALL FOR PAPERS =3D=3D=3D=3D
Special Issue on Quantum Physics and Logic (QPL 2024 and QPL 2025)
Submission deadline: 14 February 2026 *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 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!U-UMtnXaDA8n38-0quE0X10rr7qbuWM6TlUwx3CklrajE47BNNQjR7Sb5up8FSDTJ=
R54fb0Lu52pK4fWyq4zb5sd5lN5qKbCNoNEIug$=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!U-UMtnXaDA8n38-0quE0X10rr7qbuWM6TlUwx3CklrajE47BNNQjR7=
Sb5up8FSDTJR54fb0Lu52pK4fWyq4zb5sd5lN5qKbCKa8rPiU$ >

   - 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=
!U-UMtnXaDA8n38-0quE0X10rr7qbuWM6TlUwx3CklrajE47BNNQjR7Sb5up8FSDTJR54fb0Lu5=
2pK4fWyq4zb5sd5lN5qKbCWr2XpHI$=20

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

<div dir=3D"ltr"><div>Dear all,</div><div><br></div><div>This email is just=
 to confirm that the new submission deadline is <b>April 12th</b>.<br><br>P=
lease note that we do not wait for the deadline to begin the review process=
; your paper will be sent for review as soon as it is received and publishe=
d individually upon acceptance. This extension is intended solely to provid=
e more time for submissions and will not cause any delays for the publicati=
ons.</div><div><br>Kind=C2=A0regards,</div><div>The guest editors</div><div=
><br></div><div><br></div><div>=3D=3D=3D=3D CALL FOR PAPERS =3D=3D=3D=3D</d=
iv><div>Special Issue on Quantum Physics and Logic (QPL 2024 and QPL 2025)<=
br>Submission deadline: <strike>14 February 2026</strike>=C2=A0<b>12 April =
2026</b><br>**Accepted papers will be published online individually as soon=
 as they are ready, without waiting for the deadline or the completion of t=
he full special issue.**<br><br>Guest editors:<br><br>=C2=A0 =C2=A0- Alejan=
dro D=C3=ADaz-Caro (Inria, LORIA, CNRS, Universit=C3=A9 de Lorraine &amp; U=
niversidad 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- Simon Perdrix (Inria, LORIA, CNRS, Universit=C3=A9 de Lorrai=
ne, France)<br>=C2=A0 =C2=A0*Quantum computing, categorical quantum mechani=
cs, causality, contextuality, graphical 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 Paris-Saclay, France)<br>=C2=A0 =C2=A0*Quant=
um programming languages, type theory, semantics*<br><br>Special issue info=
rmation:<br><br>We invite submissions for a Special Issue of *Journal of Lo=
gical and Algebraic Methods in Programming (JLAMP)* dedicated to post-proce=
edings of the 21st and 22nd editions of the *International Conference on Qu=
antum Physics and Logic* (QPL 2024 and QPL 2025). *Submissions are welcome =
both from extended versions of papers presented at these conferences and fr=
om external contributions within the same thematic scope.*<br><br>The Speci=
al Issue focuses on recent advances at the intersection of quantum computin=
g, logic, and programming languages. Topics of interest include, but are no=
t 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 semantic methods for quantum programming<br>=C2=A0 =C2=
=A0- Logical frameworks and 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 language=
s, such as the ZX-calculus<br>=C2=A0 =C2=A0- Applications of quantum and qu=
antum-inspired techniques to causality, linguistics, and logic<br><br>This =
Special Issue aims to contribute to the development of the logical and alge=
braic foundations of quantum computation.<br><br>Manuscript submission info=
rmation:<br><br>=C2=A0 =C2=A0- Submissions should follow JLAMP=E2=80=99s gu=
idelines for authors, available at: 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!U-UMtnXaDA8n38-0quE0X10rr7qbuWM6TlUwx3CklrajE47BNNQjR7S=
b5up8FSDTJR54fb0Lu52pK4fWyq4zb5sd5lN5qKbCNoNEIug$">https://www.sciencedirec=
t.com/journal/journal-of-logical-and-algebraic-methods-in-programming/publi=
sh/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.editorialm=
anager.com/jlamp/default.aspx__;!!IBzWLUs!U-UMtnXaDA8n38-0quE0X10rr7qbuWM6T=
lUwx3CklrajE47BNNQjR7Sb5up8FSDTJR54fb0Lu52pK4fWyq4zb5sd5lN5qKbCKa8rPiU$">ht=
tps://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 con=
tributions!</div><div><br></div><span class=3D"gmail_signature_prefix">-- <=
/span><br><div dir=3D"ltr" class=3D"gmail_signature" data-smartmail=3D"gmai=
l_signature"><div dir=3D"ltr"><div><a href=3D"https://urldefense.com/v3/__h=
ttps://members.loria.fr/ADiazCaro/__;!!IBzWLUs!U-UMtnXaDA8n38-0quE0X10rr7qb=
uWM6TlUwx3CklrajE47BNNQjR7Sb5up8FSDTJR54fb0Lu52pK4fWyq4zb5sd5lN5qKbCWr2XpHI=
$" target=3D"_blank">https://members.loria.fr/ADiazCaro/</a></div></div></d=
iv></div>

--000000000000f61274064a9c108e--

--===============1162799044650169597==--