coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CFS: Programming Languages for Quantum Computing

From: Robert Rand <rnrand AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] CFS: Programming Languages for Quantum Computing
Date: Mon, 14 Oct 2019 18:32:31 -0400
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rnrand AT gmail.com; spf=Pass smtp.mailfrom=rxtreme AT gmail.com; spf=None smtp.helo=postmaster AT mail-yb1-f178.google.com
Ironport-phdr: 9a23:UWVc6B/gT4x8H/9uRHKM819IXTAuvvDOBiVQ1KB41+8cTK2v8tzYMVDF4r011RmVBN6dtKgP07qempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffgtFiCC/bL9sIxm6sQbcvdQKjIV/Lao81gHHqWZSdeRMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2QrJeDDQ9LmA6/9brugXZTQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/6apgVR3mhzodNzMh/27ZisJ+gqFGrhy/uxNy2JTbbJ2POfdkYq/RYdEXSGxcVchRTSxBBYa8YpMTAeoGJulXsZP9p0cTphWiHwasAv7gwSJPi3/s2606yf4uEQfb0wE7ENIOtW7brNTxNKsITe+1y6zIwCzFYvhL1zn9743IfQogofGKRb9wasvRyUY3FwPBlFqQr5bpPzSP1uQCq2Sb7+1gVf6zhG49swF9uCSgxsApioTPm4kbyUjE+D1nzIopIdC0Uk12bN6+HJdOqi2XM5F6Tt4gTmxrvisx16cItoShfCcQzZQq3x7fZOKDc4iP+h/jUfyeITZ8hH58eLOwnAu+/VGuyuHhVMS500xGriVCktnLuXAN0wLc5tKbRft6+0etwTeP1wbN5eFYOU04i7bXJpo7zrMzlpcfq1rPEjLylUnskaObdEYp9vCt6+v9Y7XmopGcN5VzigH7KqkugMO+AfgiMgcQWmiU5/+x1LLm/ULjQbVKiuc6nbXesJDfPcgbvLK2AxdJ0oY/7BayFyup0NMBnXUeMF1FfA+HgJPyNlHVIPH4CO+/jE62nDdqwfDGJLzhDY/XInjNireyNYp6vkVb0U84yc1Vz5NSELAIZvzpCWHrs9mNNBgzPhaoi9zuDtk1gpkYQ2uJDoeWNarTtRmD4ed5cLrEX5McpDuoc6tt3PXpl3JswQZML5ns5oMebTWDJtojJkyYZXT2hdJYSDUFuwM/SKrhj1jQCGcPNUb3ZLo143QAMKzjFZ3KH9n/j7mI3SP9FZpTNDgfVwK8VEzwfoDBYM8iLSKfJsg7zG4BXLmlDp4rjFSg7VCqjbVgKeXQ92sTspexjNU=

Call for Submissions

We invite members of the programming languages (PL) and quantum computing (QC) communities to submit talk proposals for the First International Workshop on Programming Languages for Quantum Computing (PLanQC 2020), co-located with POPL 2020 in New Orleans this January.

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-4 page abstracts, 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 QC coming from PL. 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 workshop’s website.

Invited speakers:

Jennifer Paykin, Galois Inc — Quantum Computing for PL Researchers
Peter Selinger, Dalhousie University — Quantum Programming Languages
Fred Chong, University of Chicago — Quantum Compilation
Bettina Heim, Microsoft Research — The Q# Language

Workshop topics include (but are not limited to):

High-level quantum programming languages
Verification tools for quantum programs
Novel quantum programming abstractions
Quantum circuit optimizations
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 (anywhere on earth):

Abstract submission deadline	Mon 28 Oct 2019
Notification	Thu 21 Nov 2019
Workshop	Sun 19 Jan 2020

Website: https://popl20.sigplan.org/home/planqc-2020

Submission: https://planqc2020.hotcrp.com/

[Coq-Club] CFS: Programming Languages for Quantum Computing, Robert Rand, 10/15/2019
- Re: [Coq-Club] CFS: Programming Languages for Quantum Computing, Kartik Singhal, 10/15/2019