[TYPES/announce] Deadline extension: PLanQC 2021

[Matt Amy]

----------------------------------------------------------------------------------------------------------
**

*PLanQC 2021: Programming Languages for Quantum Computing*

*

Call for Submissions


We invite members of the programming languages (PL) and quantum 
computing (QC) communities to submit talk proposals for the Second 
International Workshop on Programming Languages for Quantum Computing 
(PLanQC 2021), co-located with PLDI virtually this June.


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

         •       Michael Hicks, University of Maryland

         •       John van de Wetering, Radboud University


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 (anywhere on earth):

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

Abstract submission deadlineFri 9 Apr 2021 (UPDATED)

NotificationWed 5 May 2021

WorkshopTue 22 Jun 2021 (UPDATED)

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


Website:<https://popl20.sigplan.org/home/plaqc-2020>https://pldi21.sigplan.org/home/planqc-2021

Submission:https://planqc2021.hotcrp.com/


Program Committee:

Matt Amy (chair)Dalhousie University

Ross DuncanCambridge Quantum Computing

Chris GranadeMicrosoft Research

Yipeng HuangRutgers University

Ali Javadi-AbhariIBM

Giulia MeuliEPFL

Jennifer PaykinGalois Inc

Robert RandUniversity of Chicago

Mathys RennelaINRIA

Peter SelingerDalhousie University

Dominique UnruhUniversity of Tartu

Xiaodi WuUniversity of Maryland

Nengkun YuUniversity of Technology Sydney

Vladimir ZamdzhievINRIA

Will ZengGoldman Sachs

Margherita ZorziUniversity of Verona


Organizing Committee:

Matt AmyDalhousie University

Ross DuncanCambridge Quantum Computing

Robert RandUniversity of Chicago*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210329/05527a6b/attachment-0001.htm>