[TYPES/announce] WQS 2024 - Call for Papers
Nicola Assolini
nicola.assolini at univr.it
Tue Feb 20 04:41:01 EST 2024
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240220/ca8e0867/attachment.htm>
More information about the Types-announce
mailing list