[TYPES/announce] 2nd CFS - PLanQC 2025 (+ deadline extension)

[Jennifer Paykin]

== SECOND CALL FOR SUBMISSIONS ==

We invite members of the programming languages and quantum computing
communities to submit talk proposals for the 5th International Workshop on
Programming Languages for Quantum Computing (PLanQC 2025), co-located in
January 2025 with POPL in Denver, Colorado, USA.

https://urldefense.com/v3/__https://popl25.sigplan.org/home/planqc-2025__;!!IBzWLUs!TysrV1Fh6rqDuCcGIACXx-G8U4O-GHLDs6_2aDHJ0EwmmkP-RO9uw1CuPNYB2XJWrLX95JrQMva_u6KZAAWoBFvo7D8Eaw$ 

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.

Limited travel support is available for students who may not otherwise be
able to attend. Please reach out to jpaykin at gmail.com for more information.

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

New submission deadline: Friday, Nov 1, 2024 (end of day, AoE)
Notification deadline: November 29, 2024 (end of day, AoE)
Workshop: January 25, 2025

== Sponsors ==

Thank you to the following sponsors!

    * The Unitary Fund - unitary.fund
    * Quantinuum - quantinuum.com
    * ACM SIGPLAN
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20241023/b9d8b14e/attachment.htm>