[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
PLanQC 2024: Programming Languages for Quantum Computing Call for Submissions We invite members of the programming languages and quantum computing communities to submit talk proposals for the 4th International Workshop on Programming Languages for Quantum Computing (PLanQC 2024), co-located in January 2024 with POPL in London, the United Kingdom. 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 include (but are not limited to): • High-level quantum programming languages • Verification tools for quantum programs • Novel quantum programming abstractions • Quantum circuit and program optimizations • 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: 3 November 2024 (anywhere on earth) • Author notification: 6 December 2024 • Workshop: TBA (tentatively: 20 January 2024) ------------------------------------------------------------------------- Important links: • Website: https://urldefense.com/v3/__https://popl24.sigplan.org/home/planqc-2024__;!!IBzWLUs!VGjBNIbf5pvEzEyKl7gZF7reNsPDMp7vlLHvdpNRf7fd2FkwQuCBdN7-nu_4mKq0BCtNLP5VGnM1zGhJbV9sveZJHGWB7RDt7sfMiiWG$ • Submission: https://urldefense.com/v3/__https://planqc2024.hotcrp.com/__;!!IBzWLUs!VGjBNIbf5pvEzEyKl7gZF7reNsPDMp7vlLHvdpNRf7fd2FkwQuCBdN7-nu_4mKq0BCtNLP5VGnM1zGhJbV9sveZJHGWB7RDt7rWtSK_x$ <https://urldefense.com/v3/__https://planqc2022.hotcrp.com/__;!!IBzWLUs!VGjBNIbf5pvEzEyKl7gZF7reNsPDMp7vlLHvdpNRf7fd2FkwQuCBdN7-nu_4mKq0BCtNLP5VGnM1zGhJbV9sveZJHGWB7RDt7n-Q9DHn$ > ------------------------------------------------------------------------- Program Committee: Matthew Amy, Simon Fraser University Ross Duncan, Cambridge Quantum Computing Ltd Cassandra Granade, Microsoft Kesha Hietala, University of Maryland Robin Kaarsgaard, University of Southern Denmark Jennifer Paykin, Intel Labs Robert Rand, University of Chicago Mathys Rennela (chair), INRIA / ENS Paris Neil Julien Ross, Dalhousie University Amr Sabry, Indiana University Peter Selinger, Dalhousie University Kate Smith, Northwestern University Michael Walter, Ruhr University Bochum John van de Wetering, University of Amsterdam Margherita Zorzi, University of Verona Organizing Committee: Matt Amy, Simon Fraser University Ross Duncan, Cambridge Quantum Computing Robert Rand, University of Chicago Neil Julien Ross, Dalhousie University Mathys Rennela, INRIA / ENS Paris