QPL 2025 - Final Call for Papers

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


--===============2224604547377164484==
Content-Type: multipart/alternative; boundary="00000000000014e05a062d39cfc1"

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

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D
QPL 2025 - Final Call for Papers
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D

The 22nd International Conference on Quantum Physics and Logic (QPL 2025)
Varna, Bulgaria, July 14-18, 2025

https://urldefense.com/v3/__https://qpl2025.github.io__;!!IBzWLUs!RhP2yK8AO=
O0R1vqKKgn-F04tzIoTMs8YGAXm9FRTn8jXPXmG8BeBjgb-zTwj3gWy70GFq4xDr7e2shY-c-kJ=
OWpK8drz_c8d-RG97mg$=20

Quantum Physics and Logic is an annual conference that brings together
academic and industry researchers working on mathematical foundations of
quantum computation, quantum physics, and related areas. The main focus is
on the use of algebraic and categorical structures, formal languages, type
systems, logics, semantic methods, as well as other mathematical and
computer scientific techniques applicable to the study of physical systems,
physical processes, and their composition. Work applying quantum-inspired
techniques and structures to other fields, such as linguistics, artificial
intelligence, and causality, is also welcome.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D
Important Dates
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D

Abstract submission deadline: *9 February **2025*
Submission deadline: 16 February 2025 *(It is mandatory to have submitted
the abstract by February 9)*
Notification: 24 March 2025
Camera-ready deadline (revised accepted proceedings manuscripts): 15 June
2025
Conference: 14 July - 18 July 2025

All deadlines are stated with respect to the Anywhere on Earth (AoE) time
zone.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D
Submissions guidelines
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D

Prospective speakers are invited to submit one (or more) of the following:

* Proceedings paper. This consists of a 5-12-page paper presenting original
research results not currently under consideration for publication
elsewhere. It must provide sufficient evidence of results of genuine
interest, in sufficient detail, for the program committee to assess the
merits and correctness of the work. Proceedings submissions must use the
EPTCS style files.

* Talk proposal. This consists of a 3-page summary along with a link to a
separate published paper or preprint. If the published paper or preprint is
not publicly available (e.g. not open access), then it must be included in
full after the summary.

* Poster. This consists of a 3-page summary of (partial) results or work in
progress.

Submission is via EasyChair at the following URL:
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=3Dqpl20=
25__;!!IBzWLUs!RhP2yK8AOO0R1vqKKgn-F04tzIoTMs8YGAXm9FRTn8jXPXmG8BeBjgb-zTwj=
3gWy70GFq4xDr7e2shY-c-kJOWpK8drz_c8dR_d5voI$=20

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D
Presentations
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D

Authors of accepted submissions are expected to present their work during
the conference (e.g. by giving a talk or presenting a poster). There will
be an award for Best Student Paper at the discretion of the Program
Committee. Papers eligible for the award are those where all the authors
are students at the time of submission.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D
Conference Proceedings
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D
Conference proceedings will be published in Electronic Proceedings in
Theoretical Computer Science (EPTCS) after the conference.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D
QPL 2025 Programme Committee
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D
* Alastair Abbott
* Pablo Arrighi
* Miriam Backens
* Rui Soares Barbosa
* =C3=85min Baumeler
* Jessica Bavaresco
* Alessandro Bisio
* Robert Booth
* Cyril Branciard
* Titouan Carette
* Ulysse Chabaud
* Giulio Chiribella
* Bob Coecke
* Ross Duncan
* Alejandro D=C3=ADaz-Caro -- PC Co-chair
* Pierre-Emmanuel Emeriau
* Flaminia Giacomini
* Stefano Gogioso
* Matty Hoban
* Emmanuel Jeandel
* Anna Jen=C4=8Dov=C3=A1
* Robin Kaarsgaard
* Martti Karvonen
* Kohei Kishida
* Aleks Kissinger
* Ravi Kunjwal
* Robin Lorenz
* Gl=C3=A1ucia Murta
* Nuriya Nurgalieva
* Ognyan Oreshkov -- PC Co-chair
* Anna Pearson
* Simon Perdrix
* Nicola Pinzani
* Robert Rand
* Neil Ross
* Mehrnoosh Sadrzadeh
* Ana Bel=C3=A9n Sainz -- PC Co-chair
* Nitica Sakharwade
* Carlo Maria Scandolo
* John Selby
* Peter Selinger
* Sonja Smets
* Pawel Sobocinski
* Isar Stubbe
* Marcelo Terra Cunha
* Beno=C3=AEt Valiron
* Augustin Vanrietvelde
* V. Vilasini
* Renaud Vilmart
* Juliana Vizzotto
* Quanlong Wang
* Julian Wechs
* Mirjam Weilenmann
* John van de Wetering
* Alexander Wilce
* Margherita Zorzi

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D
QPL 2025 Organising Committee
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D

* James Hefford (Inria, France)
* Timoth=C3=A9e Hoffreumon (Universit=C3=A9 Paris-Saclay, France)
* Zixuan Liu (Universit=C3=A9 libre de Bruxelles, Belgium)
* Ognyan Oreshkov (Universit=C3=A9 libre de Bruxelles, Belgium) -- *Confere=
nce
Chair*
* Eleftherios Ermis Tselentis (Universit=C3=A9 libre de Bruxelles, Belgium)
* Vladimir Zamdzhiev (Inria, France)

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D
QPL Steering Committee
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D

* Bob Coecke (Quantinuum, UK)
* Ana Bel=C3=A9n Sainz (University of Gda=C5=84sk, Poland)
* Peter Selinger (Dalhousie University, Canada)

--=20
https://urldefense.com/v3/__https://members.loria.fr/ADiazCaro/__;!!IBzWLUs=
!RhP2yK8AOO0R1vqKKgn-F04tzIoTMs8YGAXm9FRTn8jXPXmG8BeBjgb-zTwj3gWy70GFq4xDr7=
e2shY-c-kJOWpK8drz_c8d5Me1bbg$=20

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

<div dir=3D"ltr"><div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><span class=3D"gmail-il">QPL</span>=C2=A0=
<span class=3D"gmail-il">2025</span>=C2=A0- Final Call for Papers<br>=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
<br><br>The 22nd International Conference on Quantum Physics and Logic (<sp=
an class=3D"gmail-il">QPL</span>=C2=A0<span class=3D"gmail-il">2025</span>)=
<br>Varna, Bulgaria, July 14-18,=C2=A0<span class=3D"gmail-il">2025</span><=
br><br><a href=3D"https://urldefense.com/v3/__https://qpl2025.github.io/__;=
!!IBzWLUs!RhP2yK8AOO0R1vqKKgn-F04tzIoTMs8YGAXm9FRTn8jXPXmG8BeBjgb-zTwj3gWy7=
0GFq4xDr7e2shY-c-kJOWpK8drz_c8d_cEBtVc$" rel=3D"noreferrer" target=3D"_blan=
k">https://qpl2025.github.io</a><br><br>Quantum Physics and Logic is an ann=
ual conference that brings together academic and industry researchers worki=
ng on mathematical foundations of quantum computation, quantum physics, and=
 related areas. The main focus is on the use of algebraic and categorical s=
tructures, formal languages, type systems, logics, semantic methods, as wel=
l as other mathematical and computer scientific techniques applicable to th=
e study of physical systems, physical processes, and their composition. Wor=
k applying quantum-inspired techniques and structures to other fields, such=
 as linguistics, artificial intelligence, and causality, is also welcome.<b=
r><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D<br>Important Dates<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><br>Abstract submission deadl=
ine: <b style=3D"color:rgb(255,0,0)">9 February=C2=A0</b><span class=3D"gma=
il-il" style=3D""><b style=3D"color:rgb(255,0,0)">2025</b></span><br>Submis=
sion deadline: 16 February=C2=A0<span class=3D"gmail-il">2025</span><span s=
tyle=3D"color:rgb(0,0,0)">=C2=A0<i>(It is mandatory to have submitted the a=
bstract by February 9)</i></span><br>Notification: 24 March=C2=A0<span clas=
s=3D"gmail-il">2025</span><br>Camera-ready deadline (revised accepted proce=
edings manuscripts): 15 June=C2=A0<span class=3D"gmail-il">2025</span><br>C=
onference: 14 July - 18 July=C2=A0<span class=3D"gmail-il">2025</span><br><=
br>All deadlines are stated with respect to the Anywhere on Earth (AoE) tim=
e zone.<br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D<br>Submissions guidelines<br>=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><br>Prospectiv=
e speakers are invited to submit one (or more) of the following:<br><br>* P=
roceedings paper. This consists of a 5-12-page paper presenting original re=
search results not currently under consideration for publication elsewhere.=
 It must provide sufficient evidence of results of genuine interest, in suf=
ficient detail, for the program committee to assess the merits and correctn=
ess of the work. Proceedings submissions must use the EPTCS style files.<br=
><br>* Talk proposal. This consists of a 3-page summary along with a link t=
o a separate published paper or preprint. If the published paper or preprin=
t is not publicly available (e.g. not open access), then it must be include=
d in full after the summary.<br><br>* Poster. This consists of a 3-page sum=
mary of (partial) results or work in progress.<br><br>Submission is via Eas=
yChair at the following URL:<br><a href=3D"https://urldefense.com/v3/__http=
s://easychair.org/conferences/?conf=3Dqpl2025__;!!IBzWLUs!RhP2yK8AOO0R1vqKK=
gn-F04tzIoTMs8YGAXm9FRTn8jXPXmG8BeBjgb-zTwj3gWy70GFq4xDr7e2shY-c-kJOWpK8drz=
_c8dR_d5voI$" rel=3D"noreferrer" target=3D"_blank">https://easychair.org/co=
nferences/?conf=3Dqpl2025</a><br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>Presentations<br>=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br=
><br>Authors of accepted submissions are expected to present their work dur=
ing the conference (e.g. by giving a talk or presenting a poster). There wi=
ll be an award for Best Student Paper at the discretion of the Program Comm=
ittee. Papers eligible for the award are those where all the authors are st=
udents at the time of submission.<br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>Conference Proceedings<=
br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D<br>Conference proceedings will be published in Electronic Proceed=
ings in Theoretical Computer Science (EPTCS) after the conference.<br><br>=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D<br><span class=3D"gmail-il">QPL</span>=C2=A0<span class=3D"gmail-il"=
>2025</span>=C2=A0Programme Committee<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>* Alastair Abbott<br>* =
Pablo Arrighi<br>* Miriam Backens<br>* Rui Soares Barbosa<br>* =C3=85min Ba=
umeler<br>* Jessica Bavaresco<br>* Alessandro Bisio<br>* Robert Booth<br>* =
Cyril Branciard<br>* Titouan Carette<br>* Ulysse Chabaud<br>* Giulio Chirib=
ella<br>* Bob Coecke<br>* Ross Duncan<br>* Alejandro D=C3=ADaz-Caro -- PC C=
o-chair<br>* Pierre-Emmanuel Emeriau<br>* Flaminia Giacomini<br>* Stefano G=
ogioso<br>* Matty Hoban<br>* Emmanuel Jeandel<br>* Anna Jen=C4=8Dov=C3=A1<b=
r>* Robin Kaarsgaard<br>* Martti Karvonen<br>* Kohei Kishida<br>* Aleks Kis=
singer<br>* Ravi Kunjwal<br>* Robin Lorenz<br>* Gl=C3=A1ucia Murta<br>* Nur=
iya Nurgalieva<br>* Ognyan Oreshkov -- PC Co-chair<br>* Anna Pearson<br>* S=
imon Perdrix<br>* Nicola Pinzani<br>* Robert Rand<br>* Neil Ross<br>* Mehrn=
oosh Sadrzadeh<br>* Ana Bel=C3=A9n Sainz -- PC Co-chair<br>* Nitica Sakharw=
ade<br>* Carlo Maria Scandolo<br>* John Selby<br>* Peter Selinger<br>* Sonj=
a Smets<br>* Pawel Sobocinski<br>* Isar Stubbe<br>* Marcelo Terra Cunha<br>=
* Beno=C3=AEt Valiron<br>* Augustin Vanrietvelde<br>* V. Vilasini<br>* Rena=
ud Vilmart<br>* Juliana Vizzotto<br>* Quanlong Wang<br>* Julian Wechs<br>* =
Mirjam Weilenmann<br>* John van de Wetering<br>* Alexander Wilce<br>* Margh=
erita Zorzi<br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><span class=3D"gmail-il">QPL</span>=C2=A0<sp=
an class=3D"gmail-il">2025</span>=C2=A0Organising Committee<br>=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><b=
r>* James Hefford (Inria, France)<br>* Timoth=C3=A9e Hoffreumon (Universit=
=C3=A9 Paris-Saclay, France)<br>* Zixuan Liu (Universit=C3=A9 libre de Brux=
elles, Belgium)<br>* Ognyan Oreshkov (Universit=C3=A9 libre de Bruxelles, B=
elgium) -- <b>Conference Chair</b><br>* Eleftherios Ermis Tselentis (Univer=
sit=C3=A9 libre de Bruxelles, Belgium)<br>* Vladimir Zamdzhiev (Inria, Fran=
ce)<br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D<br><span class=3D"gmail-il">QPL</span>=C2=A0Steering Com=
mittee<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D<br><br>* Bob Coecke (Quantinuum, UK)<br>* Ana Bel=C3=A9n=
 Sainz (University of Gda=C5=84sk, Poland)<br>* Peter Selinger (Dalhousie U=
niversity, Canada)</div><div><br></div><span class=3D"gmail_signature_prefi=
x">-- </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.co=
m/v3/__https://members.loria.fr/ADiazCaro/__;!!IBzWLUs!RhP2yK8AOO0R1vqKKgn-=
F04tzIoTMs8YGAXm9FRTn8jXPXmG8BeBjgb-zTwj3gWy70GFq4xDr7e2shY-c-kJOWpK8drz_c8=
d5Me1bbg$" target=3D"_blank">https://members.loria.fr/ADiazCaro/</a></div><=
/div></div></div>

--00000000000014e05a062d39cfc1--

--===============2224604547377164484==--