[TYPES/announce] Call for Participation PLanQC (+ Student Travel Funding)

[Mathys Rennela]

PLanQC 2024: Programming Languages for Quantum Computing


Call for Participation (January 20th, 2024)


We invite members of the programming languages and quantum computing
communities to participate to the 4th International Workshop on Programming
Languages for Quantum Computing (PLanQC 2024), co-located in January 2024
with POPL in London, the United Kingdom, on the 20th of January 2024


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.


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.


Invited speaker: Conor McBride, Strathclyde University (Glasgow, Scotland)



Students can sign up for our travel funding with the following form:
https://urldefense.com/v3/__https://docs.google.com/forms/d/15MbgFirLbVzoKSJhUM_xt0KuKz8q-QPgA671_dPz10M/edit?ts=659077fd__;!!IBzWLUs!TuhDVo5qGiAR_fq55lBK66RwI47_4aRiPSzhH2pmG6kSJkq6yRbYhTZ8fqD4keTbCvU56803dqieQdC2L4rtGt-aHrWkp8GFRkf1aNIP$ 



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

Important links:


Website: https://urldefense.com/v3/__https://popl24.sigplan.org/home/planqc-2024__;!!IBzWLUs!TuhDVo5qGiAR_fq55lBK66RwI47_4aRiPSzhH2pmG6kSJkq6yRbYhTZ8fqD4keTbCvU56803dqieQdC2L4rtGt-aHrWkp8GFRqFv9nzU$ 

Travel Funding for Students:
https://urldefense.com/v3/__https://docs.google.com/forms/d/15MbgFirLbVzoKSJhUM_xt0KuKz8q-QPgA671_dPz10M/edit?ts=659077fd__;!!IBzWLUs!TuhDVo5qGiAR_fq55lBK66RwI47_4aRiPSzhH2pmG6kSJkq6yRbYhTZ8fqD4keTbCvU56803dqieQdC2L4rtGt-aHrWkp8GFRkf1aNIP$ 



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


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240102/b1219c1f/attachment-0001.htm>