[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Workshop on Quantum Software 2024 will take place in Copenhagen, Denmark,
with PLDI 2024 (Mon 24 - Fri 28 June 2024)
Deadline: Friday 3 May 2024
Website:
https://urldefense.com/v3/__https://pldi24.sigplan.org/home/wqs-2024__;!!IBzWLUs!WzckPmm2sksbeM9LWAUOs3MhH0u2bu8dXGIJAsB1ARaqC0XsUgMRGgEvAIpjq67RkZP7NStYbnhNgF8zqUA1X1D9FGSFiCb4yAMrPLc0dw$
Submission Link:
https://urldefense.com/v3/__https://easychair.org/my/conference?conf=qsw2024__;!!IBzWLUs!WzckPmm2sksbeM9LWAUOs3MhH0u2bu8dXGIJAsB1ARaqC0XsUgMRGgEvAIpjq67RkZP7NStYbnhNgF8zqUA1X1D9FGSFiCb4yAPbBSMlEA$
=============================================
About
=============================================
Current quantum programming tools are still in the early stages, limiting the
development of complex quantum software systems. Key objectives include
defining high-level programming languages with machine-independent syntax and
semantics, creating a structured methodology for translating programs to run on
quantum computers and developing formal methods for program analysis and
compiler optimisation. The term "quantum software" encompasses all levels of
the quantum computing stack, from algorithm creation to hardware development,
enabling the implementation and execution of quantum algorithms on quantum
hardware.
This workshop aims to gather researchers and experts to discuss new ideas as
well as the most significant directions of research in quantum software, with a
particular focus on:
- quantum language design and implementation
- quantum program analysis and verification
- quantum software engineering
- quantum computer architecture
- quantum circuit optimisation
- quantum hardware-software interface
- quantum assembler
=============================================
Call for Papers
=============================================
We solicit submissions on subjects related to the topics of WQS in the form of
a maximum of 5-page extended abstracts describing original results and ongoing
works to promote interesting and constructive discussions. Accepted abstracts
will be presented at the workshop. After the workshop, we will invite authors
of selected accepted abstracts to submit an extended version of their
contribution to a special ACM Transactions on Quantum Computing issue:
https://urldefense.com/v3/__https://dl.acm.org/journal/tqc__;!!IBzWLUs!WzckPmm2sksbeM9LWAUOs3MhH0u2bu8dXGIJAsB1ARaqC0XsUgMRGgEvAIpjq67RkZP7NStYbnhNgF8zqUA1X1D9FGSFiCb4yAMLwrdM0w$
.
NicolA
