QPL 2024 - Third Call for Papers

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


--===============7020485772016366983==
Content-Type: multipart/alternative; boundary="000000000000a888440611badc16"

--000000000000a888440611badc16
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 2024 - Third 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 21st International Conference on Quantum Physics and Logic (QPL 2024)

Buenos Aires, Argentina, July 15-19, 2024

https://urldefense.com/v3/__https://qpl2024.dc.uba.ar__;!!IBzWLUs!UBaf5jnhF=
0mVMxJ1dqgOq_SDUGHMwuFPw5c91Xa2XLkkU6WYnJ_RFSnNRKu-jAWazHkl6t8UGH0qtszi2-mM=
Mvlt7YO-K9lVkdf8aV8$=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, 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: 26 February 2024
Paper submission deadline: 4 March 2024
Notification: 29 April 2024
Camera-ready deadline: 15 June 2024
Conference: 15 July =E2=80=93 19 July 2023

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. It must provide
sufficient evidence of results of genuine interest, in sufficient detail,
for the program committee to assess the merits 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 abstract of (partial) results or work
in progress.

* Programming tool submission. This consists of a 3-page description of a
programming tool or framework, with a strong preference for open-source
contributions.

Submission is via EasyChair at the following URL:

https://urldefense.com/v3/__https://easychair.org/conferences/?conf=3Dqpl20=
24__;!!IBzWLUs!UBaf5jnhF0mVMxJ1dqgOq_SDUGHMwuFPw5c91Xa2XLkkU6WYnJ_RFSnNRKu-=
jAWazHkl6t8UGH0qtszi2-mMMvlt7YO-K9lVdY8DnSI$=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 will be invited to present their work
during the conference (e.g. by giving a talk, presenting a poster, or tool
demo).

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 2024 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

Barbara Amaral, Universidade de S=C3=A3o Paulo, Brazil
Pablo Arrighi, Inria & Universit=C3=A9 Paris-Saclay, France
Miriam Backens, University of Birmingham, UK
Rui Soares Barbosa, International Iberian Nanotechnology Laboratory,
Portugal
Alessandro Bisio, Universit=C3=A0 di Pavia, Italy
Titouan Carette, =C3=89cole Polytechnique, France
Ulysse Chabaud, Inria, =C3=89cole Normale Sup=C3=A9rieure, France
Giulio Chiribella, The University of Hong Kong, Hong Kong
Bob Coecke, Quantinuum, UK
Alejandro D=C3=ADaz-Caro, Universidad Nacional de Quilmes & Universidad de
Buenos Aires, Argentina (Co-chair)
Ross Duncan, Quantinuum, UK
Pierre-Emmanuel Emeriau, Quandela, France
Stefano Gogioso, University of Oxford, UK
Amar Hadzihasanovic, Tallinn University of Technology, Estonia
Chris Heunen, The University of Edinburgh, UK
Matty Hoban, University of Oxford, UK
Federico Holik, Universidad Nacional de La Plata, Argentina
Dominic Horsman, University of Oxford, UK
Emmanuel Jeandel, LORIA, France
Martti Karvonen, University College London, UK
Kohei Kishida, University of Illinois, Urbana-Champaign, USA
Aleks Kissinger, University of Oxford, UK
Ravi Kunjwal, Universit=C3=A9 libre de Bruxelles, Belgium
Martha Lewis, University of Bristol, UK
Shane Mansfield, Quandela, France
Simon Martiel, IBM Quantum, France
Konstantinos Meichanetzidis, University of Oxford, UK
Mio Murao, The University of Tokyo, Japan
Ognyan Oreshkov, Universit=C3=A9 Libre de Bruxelles, Belgium
Anna Pearson, Quantinuum, UK
Simon Perdrix, LORIA, France
Robert Rand, University of Chicago, USA
Neil Ross, Dalhousie University, Canada
Mehrnoosh Sadrzadeh, University College London, UK
Ana Bel=C3=A9n Sainz, University of Gda=C5=84sk, Poland
Carlo Maria Scandolo, University of Calgary, Canada
John Selby, University of Gda=C5=84sk, Poland
Peter Selinger, Dalhousie University, Canada
Sonja Smets, University of Amsterdam, The Netherlands
Pawel Sobocinski, Tallinn University of Technology, Estonia
Isar Stubbe, Universit=C3=A9 du Littoral, France
Beno=C3=AEt Valiron, Universit=C3=A9 Paris-Saclay, France
Augustin Vanrietvelde, T=C3=A9l=C3=A9com Paris, France
V. Vilasini, ETH Z=C3=BCrich, Switzerland
Renaud Vilmart, Inria, France
Juliana Kaizer Vizzotto, Universidade Federal de Santa Maria, Brazil
Quanlong Wang, Quantinuum, UK
Alexander Wilce, Susquehanna University, USA
Margherita Zorzi, Universit=C3=A0 di Verona, Italy
John van de Wetering, University of Amsterdam, The Netherlands
Vladimir Zamdzhiev, Inria, France (Co-chair)

=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 2024 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

* Guido Bellomo, CONICET & UBA
* Alejandro D=C3=ADaz-Caro, CONICET, UBA & UNQ (Chair)
* Santiago Figueira, CONICET & UBA
* Federico Holik, CONICET & UNLP

=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
* Ana Bel=C3=A9n Sainz, University of Gda=C5=84sk
* Peter Selinger, Dalhousie University

=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 2024 Confirmed sponsors
=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

Platinium
* Quantinuum - https://urldefense.com/v3/__https://www.quantinuum.com/__;!!=
IBzWLUs!UBaf5jnhF0mVMxJ1dqgOq_SDUGHMwuFPw5c91Xa2XLkkU6WYnJ_RFSnNRKu-jAWazHk=
l6t8UGH0qtszi2-mMMvlt7YO-K9lVfuIJBlA$=20


--=20
https://urldefense.com/v3/__http://staff.dc.uba.ar/adiazcaro__;!!IBzWLUs!UB=
af5jnhF0mVMxJ1dqgOq_SDUGHMwuFPw5c91Xa2XLkkU6WYnJ_RFSnNRKu-jAWazHkl6t8UGH0qt=
szi2-mMMvlt7YO-K9lVuSAMTOs$=20

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

<div dir=3D"ltr"><div dir=3D"ltr">=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>QPL 2024 - Third Call for Pap=
ers<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 21st International Conference on Quantum Physics=
 and Logic (QPL 2024)<br><br>Buenos Aires, Argentina, July 15-19, 2024<br><=
br><a href=3D"https://urldefense.com/v3/__https://qpl2024.dc.uba.ar/__;!!IB=
zWLUs!UBaf5jnhF0mVMxJ1dqgOq_SDUGHMwuFPw5c91Xa2XLkkU6WYnJ_RFSnNRKu-jAWazHkl6=
t8UGH0qtszi2-mMMvlt7YO-K9lVaN6QHVQ$" target=3D"_blank">https://qpl2024.dc.u=
ba.ar</a><br><br>Quantum Physics and Logic is an annual conference that bri=
ngs together academic and industry researchers working on mathematical foun=
dations of quantum computation, quantum physics, and related areas. The mai=
n focus is on the use of algebraic and categorical structures, formal langu=
ages, type systems, semantic methods, as well as other mathematical and com=
puter scientific techniques applicable to the study of physical systems, ph=
ysical processes, and their composition. Work applying quantum-inspired tec=
hniques and structures to other fields (such as linguistics, artificial int=
elligence, and causality) is also welcome.<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>Important Date=
s<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 deadline: 26 February 2024<br>Paper=
 submission deadline: 4 March 2024<br>Notification: 29 April 2024<br>Camera=
-ready deadline: 15 June 2024<br>Conference: 15 July =E2=80=93 19 July 2023=
<br><br>All deadlines are stated with respect to the Anywhere on Earth (AoE=
) time 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>Pros=
pective speakers are invited to submit one (or more) of the following:<br><=
br>* Proceedings paper. This consists of a 5-12 page paper. It must provide=
 sufficient evidence of results of genuine interest, in sufficient detail, =
for the program committee to assess the merits of the work. Proceedings sub=
missions must use the EPTCS style files.<br><br>* Talk proposal. This consi=
sts 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.<br>=
<br>* Poster. This consists of a 3-page abstract of (partial) results or wo=
rk in progress.<br><br>* Programming tool submission. This consists of a 3-=
page description of a programming tool or framework, with a strong preferen=
ce for open-source contributions.<br><br>Submission is via EasyChair at the=
 following URL:<br><br><a href=3D"https://urldefense.com/v3/__https://easyc=
hair.org/conferences/?conf=3Dqpl2024__;!!IBzWLUs!UBaf5jnhF0mVMxJ1dqgOq_SDUG=
HMwuFPw5c91Xa2XLkkU6WYnJ_RFSnNRKu-jAWazHkl6t8UGH0qtszi2-mMMvlt7YO-K9lVdY8Dn=
SI$" target=3D"_blank">https://easychair.org/conferences/?conf=3Dqpl2024</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 submi=
ssions will be invited to present their work during the conference (e.g. by=
 giving a talk, presenting a poster, or tool demo).<br><br>There will be an=
 award for Best Student Paper at the discretion of the Program Committee. P=
apers eligible for the award are those where all the authors are students a=
t 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><br>Conference proceedings will be published in Electronic Proceedings =
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>QPL 2024 Programme 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><br>Barbara Amaral, Universid=
ade de S=C3=A3o Paulo, Brazil<br>Pablo Arrighi, Inria &amp; Universit=C3=A9=
 Paris-Saclay, France<br>Miriam Backens, University of Birmingham, UK<br>Ru=
i Soares Barbosa, International Iberian Nanotechnology Laboratory, Portugal=
<br>Alessandro Bisio, Universit=C3=A0 di Pavia, Italy<br>Titouan Carette, =
=C3=89cole Polytechnique, France<br>Ulysse Chabaud, Inria, =C3=89cole Norma=
le Sup=C3=A9rieure, France<br>Giulio Chiribella, The University of Hong Kon=
g, Hong Kong<br>Bob Coecke, Quantinuum, UK<div>Alejandro D=C3=ADaz-Caro, Un=
iversidad Nacional de Quilmes &amp; Universidad de Buenos Aires, Argentina =
(Co-chair)<br>Ross Duncan, Quantinuum, UK<br>Pierre-Emmanuel Emeriau, Quand=
ela, France<br>Stefano Gogioso, University of Oxford, UK<br>Amar Hadzihasan=
ovic, Tallinn University of Technology, Estonia<br>Chris Heunen, The Univer=
sity of Edinburgh, UK<br>Matty Hoban, University of Oxford, UK<br>Federico =
Holik, Universidad Nacional de La Plata, Argentina<br>Dominic Horsman, Univ=
ersity of Oxford, UK<br>Emmanuel Jeandel, LORIA, France<br>Martti Karvonen,=
 University College London, UK<br>Kohei Kishida, University of Illinois, Ur=
bana-Champaign, USA<br>Aleks Kissinger, University of Oxford, UK<br>Ravi Ku=
njwal, Universit=C3=A9 libre de Bruxelles, Belgium<br>Martha Lewis, Univers=
ity of Bristol, UK<br>Shane Mansfield, Quandela, France<br>Simon Martiel, I=
BM Quantum, France<br>Konstantinos Meichanetzidis, University of Oxford, UK=
<br>Mio Murao, The University of Tokyo, Japan<br>Ognyan Oreshkov, Universit=
=C3=A9 Libre de Bruxelles, Belgium<br>Anna Pearson, Quantinuum, UK<br>Simon=
 Perdrix, LORIA, France<br>Robert Rand, University of Chicago, USA<br>Neil =
Ross, Dalhousie University, Canada<br>Mehrnoosh Sadrzadeh, University Colle=
ge London, UK<br>Ana Bel=C3=A9n Sainz, University of Gda=C5=84sk, Poland<br=
>Carlo Maria Scandolo, University of Calgary, Canada<br>John Selby, Univers=
ity of Gda=C5=84sk, Poland<br>Peter Selinger, Dalhousie University, Canada<=
br>Sonja Smets, University of Amsterdam, The Netherlands<br>Pawel Sobocinsk=
i, Tallinn University of Technology, Estonia<br>Isar Stubbe, Universit=C3=
=A9 du Littoral, France<br>Beno=C3=AEt Valiron, Universit=C3=A9 Paris-Sacla=
y, France<br>Augustin Vanrietvelde, T=C3=A9l=C3=A9com Paris, France<br>V. V=
ilasini, ETH Z=C3=BCrich, Switzerland<br>Renaud Vilmart, Inria, France<br>J=
uliana Kaizer Vizzotto, Universidade Federal de Santa Maria, Brazil<br>Quan=
long Wang, Quantinuum, UK<br>Alexander Wilce, Susquehanna University, USA<b=
r>Margherita Zorzi, Universit=C3=A0 di Verona, Italy<br>John van de Weterin=
g, University of Amsterdam, The Netherlands</div><div>Vladimir Zamdzhiev, I=
nria, France (Co-chair)<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>QPL 2024 Organising 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><br>* Guido Bellomo, CONICET &amp; UBA<br>* Alejandro D=C3=ADa=
z-Caro, CONICET, UBA &amp; UNQ (Chair)<br>* Santiago Figueira, CONICET &amp=
; UBA<br>* Federico Holik, CONICET &amp; UNLP<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>QPL Steerin=
g 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><br>* Bob Coecke, Quantinuum<br>* Ana Bel=C3=A9n S=
ainz, University of Gda=C5=84sk<br>* Peter Selinger, Dalhousie University<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>QPL 2024 Confirmed sponsors<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>Platinium<br>=
* Quantinuum -=C2=A0<a href=3D"https://urldefense.com/v3/__https://www.quan=
tinuum.com/__;!!IBzWLUs!UBaf5jnhF0mVMxJ1dqgOq_SDUGHMwuFPw5c91Xa2XLkkU6WYnJ_=
RFSnNRKu-jAWazHkl6t8UGH0qtszi2-mMMvlt7YO-K9lVfuIJBlA$">https://www.quantinu=
um.com/</a></div><div><br></div></div><div><br></div><span class=3D"gmail_s=
ignature_prefix">-- </span><br><div dir=3D"ltr" class=3D"gmail_signature"><=
div dir=3D"ltr"><div><a href=3D"https://urldefense.com/v3/__http://staff.dc=
.uba.ar/adiazcaro__;!!IBzWLUs!UBaf5jnhF0mVMxJ1dqgOq_SDUGHMwuFPw5c91Xa2XLkkU=
6WYnJ_RFSnNRKu-jAWazHkl6t8UGH0qtszi2-mMMvlt7YO-K9lVuSAMTOs$" target=3D"_bla=
nk">http://staff.dc.uba.ar/adiazcaro</a></div></div></div></div>

--000000000000a888440611badc16--

--===============7020485772016366983==--