[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We invite members of the programming languages and quantum computing
communities to submit talk proposals for the 6th International Workshop on
Programming Languages for Quantum Computing (PLanQC 2026), co-located with POPL
in Rennes, France. The workshop will be held on 12 January 2026.
https://urldefense.com/v3/__https://popl26.sigplan.org/home/planqc-2026__;!!IBzWLUs!SbVE8DHenULJdQVAXovozLWIZZDzZatSuIbUoTEsLq5-eiTkyFi40jpyAEYf7afZ5yevYHrCVc044iKTTrCaMJHIeQYQ0JUlq8ofb4QT5io$
PLanQC aims to bring together researchers from the fields of programming
languages and quantum information, exposing the programming languages community
to the unique challenges of programming quantum computers. It will promote the
development of tools to assist in the process of programming quantum computers,
as they exist today and as they are likely to exist in the near to distant
future.
Submissions to PLanQC should take the form of 2-5 page abstracts
(single-column, 11pt acmsmall style, not including references), with links to
larger preprints when appropriate. Work in progress is welcome. We hope to make
PLanQC maximally accessible to the programming languages community. Thus,
abstracts should cover cutting-edge ideas and results, but not be opaque to
new, potential entrants to quantum computing coming from programming languages.
Abstracts will be reviewed for quality and relevance to the workshop, and
accepted authors will be invited to give talks or poster presentations. We will
not be publishing formal proceedings, but the extended abstracts, along with
links (where available) to full papers will be posted to the website of the
workshop.
### Workshop topics
* High-level quantum programming languages
* Verification tools for quantum programs
* Novel quantum programming abstractions
* Quantum circuit and program optimization
* Hardware-aware circuit compilation and routing
* Error handling, mitigation, and correction
* Instruction sets for quantum hardware
* Other techniques from traditional programming languages (e.g., types,
compilation/optimization, foreign function interfaces) applied to the domain of
quantum computation.
### Important dates
* Submission deadline: 31 October 2025 (end of day, AoE)
* Notification deadline: 28 November 2025 (end of day, AoE)
* Workshop: 12 January 2026
