QPL 2024 - Second Call for Papers

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


--===============0195564342395616570==
Content-Type: multipart/alternative; boundary="00000000000003ab0d060cf6e77e"

--00000000000003ab0d060cf6e77e
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 - Second 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!UoQfQTsT7=
tW-vROKt4vKngggP6U3qndwMv8PPDdHGMzSvW5k-FcAJaIA-2XQaT7dtoy4jlDbZJKgy03YRocT=
tg9wBMFfd0JEmrdEcTY$=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!UoQfQTsT7tW-vROKt4vKngggP6U3qndwMv8PPDdHGMzSvW5k-FcAJaIA-2XQ=
aT7dtoy4jlDbZJKgy03YRocTtg9wBMFfd0JEJEAv7T0$=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 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

TBA

--=20
https://urldefense.com/v3/__http://staff.dc.uba.ar/adiazcaro__;!!IBzWLUs!Uo=
QfQTsT7tW-vROKt4vKngggP6U3qndwMv8PPDdHGMzSvW5k-FcAJaIA-2XQaT7dtoy4jlDbZJKgy=
03YRocTtg9wBMFfd0JEkdYowf8$=20

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

<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 - Second 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 21st International Conference on Quantum Physics and Logic (QPL 20=
24)<br><br>Buenos Aires, Argentina, July 15-19, 2024<br><br><a href=3D"http=
s://urldefense.com/v3/__https://qpl2024.dc.uba.ar__;!!IBzWLUs!UoQfQTsT7tW-v=
ROKt4vKngggP6U3qndwMv8PPDdHGMzSvW5k-FcAJaIA-2XQaT7dtoy4jlDbZJKgy03YRocTtg9w=
BMFfd0JEmrdEcTY$">https://qpl2024.dc.uba.ar</a><br><br>Quantum Physics and =
Logic is an annual conference that brings together academic and industry re=
searchers working on mathematical foundations of quantum computation, quant=
um physics, and related areas. The main focus is on the use of algebraic an=
d categorical structures, formal languages, type systems, semantic methods,=
 as well as other mathematical and computer scientific techniques applicabl=
e to the study of physical systems, physical processes, and their compositi=
on. Work applying quantum-inspired techniques and structures to other field=
s (such as linguistics, artificial intelligence, and causality) is also wel=
come.<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 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 submiss=
ion deadline: 26 February 2024<br>Paper submission deadline: 4 March 2024<b=
r>Notification: 29 April 2024<br>Camera-ready deadline: 15 June 2024<br>Con=
ference: 15 July =E2=80=93 19 July 2023<br><br>All deadlines are stated wit=
h 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>Submi=
ssions 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>Prospective speakers are invited to subm=
it one (or more) of the following:<br><br>* Proceedings paper. This consist=
s of a 5-12 page paper. It must provide sufficient evidence of results of g=
enuine interest, in sufficient detail, for the program committee to assess =
the merits of the work. Proceedings submissions must use the EPTCS style fi=
les.<br><br>* 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.<br><br>* Poster. This consists of a 3-p=
age abstract of (partial) results or work in progress.<br><br>* Programming=
 tool submission. This consists of a 3-page description of a programming to=
ol or framework, with a strong preference for open-source contributions.<br=
><br>Submission is via EasyChair at the following URL:<br><br><a href=3D"ht=
tps://urldefense.com/v3/__https://easychair.org/conferences/?conf=3Dqpl2024=
__;!!IBzWLUs!UoQfQTsT7tW-vROKt4vKngggP6U3qndwMv8PPDdHGMzSvW5k-FcAJaIA-2XQaT=
7dtoy4jlDbZJKgy03YRocTtg9wBMFfd0JEJEAv7T0$">https://easychair.org/conferenc=
es/?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>Auth=
ors of accepted submissions will be invited to present their work during th=
e 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. Papers eligible for the award are those where all the a=
uthors are students 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><br>Conference proceedings will be published in El=
ectronic Proceedings in Theoretical Computer Science (EPTCS) after the conf=
erence.<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>Barb=
ara Amaral, Universidade 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>Rui 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, Inr=
ia, =C3=89cole Normale Sup=C3=A9rieure, France<br>Giulio Chiribella, The Un=
iversity of Hong Kong, Hong Kong<br>Bob Coecke, Quantinuum, UK<div>Alejandr=
o D=C3=ADaz-Caro, Universidad Nacional de Quilmes &amp; Universidad de Buen=
os Aires, Argentina (Co-chair)<br>Ross Duncan, Quantinuum, UK<br>Pierre-Emm=
anuel Emeriau, Quandela, France<br>Stefano Gogioso, University of Oxford, U=
K<br>Amar Hadzihasanovic, Tallinn University of Technology, Estonia<br>Chri=
s Heunen, The University of Edinburgh, UK<br>Matty Hoban, University of Oxf=
ord, UK<br>Federico Holik, Universidad Nacional de La Plata, Argentina<br>D=
ominic Horsman, University of Oxford, UK<br>Emmanuel Jeandel, LORIA, France=
<br>Martti Karvonen, University College London, UK<br>Kohei Kishida, Univer=
sity of Illinois, Urbana-Champaign, USA<br>Aleks Kissinger, University of O=
xford, UK<br>Ravi Kunjwal, Universit=C3=A9 libre de Bruxelles, Belgium<br>M=
artha Lewis, University of Bristol, UK<br>Shane Mansfield, Quandela, France=
<br>Simon Martiel, IBM Quantum, France<br>Konstantinos Meichanetzidis, Univ=
ersity of Oxford, UK<br>Mio Murao, The University of Tokyo, Japan<br>Ognyan=
 Oreshkov, Universit=C3=A9 Libre de Bruxelles, Belgium<br>Anna Pearson, Qua=
ntinuum, UK<br>Simon Perdrix, LORIA, France<br>Robert Rand, University of C=
hicago, USA<br>Neil Ross, Dalhousie University, Canada<br>Mehrnoosh Sadrzad=
eh, University College London, UK<br>Ana Bel=C3=A9n Sainz, University of Gd=
a=C5=84sk, Poland<br>Carlo Maria Scandolo, University of Calgary, Canada<br=
>John Selby, University of Gda=C5=84sk, Poland<br>Peter Selinger, Dalhousie=
 University, Canada<br>Sonja Smets, University of Amsterdam, The Netherland=
s<br>Pawel Sobocinski, Tallinn University of Technology, Estonia<br>Isar St=
ubbe, Universit=C3=A9 du Littoral, France<br>Beno=C3=AEt Valiron, Universit=
=C3=A9 Paris-Saclay, France<br>Augustin Vanrietvelde, T=C3=A9l=C3=A9com Par=
is, France<br>V. Vilasini, ETH Z=C3=BCrich, Switzerland<br>Renaud Vilmart, =
Inria, France<br>Juliana Kaizer Vizzotto, Universidade Federal de Santa Mar=
ia, Brazil<br>Quanlong Wang, Quantinuum, UK<br>Alexander Wilce, Susquehanna=
 University, USA<br>Margherita Zorzi, Universit=C3=A0 di Verona, Italy<br>J=
ohn van de Wetering, University of Amsterdam, The Netherlands</div><div>Vla=
dimir Zamdzhiev, Inria, 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 Organ=
ising 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=ADaz-Caro, CONICET, UBA &amp; UNQ (Chair)<br>* Santiago Figu=
eira, 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 Steering 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 Sainz, University of Gda=C5=84sk<br>* Peter Selinger, Dalh=
ousie University<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 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>TBA<=
br clear=3D"all"><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=
ttp://staff.dc.uba.ar/adiazcaro__;!!IBzWLUs!UoQfQTsT7tW-vROKt4vKngggP6U3qnd=
wMv8PPDdHGMzSvW5k-FcAJaIA-2XQaT7dtoy4jlDbZJKgy03YRocTtg9wBMFfd0JEkdYowf8$" =
target=3D"_blank">http://staff.dc.uba.ar/adiazcaro</a></div></div></div></d=
iv></div>

--00000000000003ab0d060cf6e77e--

--===============0195564342395616570==--