[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
=======================================
QPL 2023 - Preliminary Call for Papers
=======================================
The 20th International Conference on Quantum Physics and Logic (QPL
2023) will
take place from 17 July to 21 July 2023 at the "Institut Henri Poincaré" in
Paris, France.
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.
=======================================
Important Dates
=======================================
Abstract submission deadline: 1 March 2023
Paper submission deadline: 7 March 2023
Notification: 1 May 2023
All deadlines are stated with respect to the Anywhere on Earth (AoE)
time zone.
=======================================
Submissions
=======================================
Prospective speakers are invited to submit one (or more) of the following:
* Proceedings submission. 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. Submissions of
work
in progress are encouraged, but must be more substantial than a research
proposal.
* Non-proceedings submission. This consists of a 3 page summary,
together 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
should be
included in full after the summary.
* Poster submission. 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.
The conference website and the submission website will be announced in a
subsequent CFP.
=======================================
Presentations
=======================================
Authors of accepted proceedings and non-proceedings submissions will be
invited
to give a long or short talk, depending on the quality and maturity of the
submission. Authors of accepted poster submissions will be invited to
present
their work at the poster session. Authors of accepted programming tool
submissions will be invited to live demo their tool to conference
attendees, at
the same time as the poster session.
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.
=======================================
Conference Proceedings
=======================================
Conference proceedings will be published in Electronic Proceedings in
Theoretical Computer Science (EPTCS) after the conference.
=======================================
QPL 2023 Programme Committee
=======================================
TBA
=======================================
QPL 2023 Organising Committee
=======================================
* Pierre-Emmanuel Emeriau (Quandela, France)
* Shane Mansfield (Quandela, France)
* Simon Perdrix (Inria Nancy, France)
* Benoît Valiron (CentraleSupélec, Université Paris-Saclay, France)
* Augustin Vanrietvelde (Inria Saclay, France)
* Renaud Vilmart (Inria Saclay, France)
* Vladimir Zamdzhiev (Inria Saclay, France)
