[TYPES/announce] Programming Languages and Quantum Computing - Call for Submissions

[Robert Rand]

PLaQC 2020: Programming Languages and Quantum Computing

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 and Quantum Computing (PLaQC 2020),
co-located with POPL 2020 in New Orleans this January.

PLaQC 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 PLaQC 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 PLaQC 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 Tue  28 Oct 2019

Notification Mon 21 Nov 2019

Workshop Sun  19 Jan 2020

------------------------------------------------------------------------

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

Submission: https://plaqc2020.hotcrp.com/

Programme Committee:

Matt Amy University of Waterloo

Ross Duncan Cambridge Quantum Computing, University of Strathclyde

Chris Granade Microsoft Research

Bettina Heim Microsoft Research

Yipeng Huang Princeton University

Aleks Kissinger Radboud University

Jennifer Paykin Galois Inc

Robert Rand (Chair) University of Maryland

Neil J. Ross Dalhousie University

Dominique Unruh University of Tartu

Benoit Valiron University of Paris-Saclay

Mingsheng Ying University of Technology, Sydney

Will Zeng Unitary Fund

Organizing Committee:

Michael Hicks University of Maryland

Robert Rand University of Maryland

Xiaodi Wu University of Maryland
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190806/a6c07b26/attachment-0001.html>