[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Workshop on Quantum Software 2025 takes place in Seoul, South Korea, with
PLDI 2025 (Mon 16 - Fri 20 June 2025)
Deadline: Friday 21 Mar 2024
Website:
https://urldefense.com/v3/__https://pldi25.sigplan.org/home/wqs-2025__;!!IBzWLUs!R3M1ICHEK0puKce7LZq5aahSENxh3TRO0HlySL8S6VoaIzlZ4pSX5mzU3Te5Tjs5p1HUgNLKfLAUFPSteojTB4QZt2Ikv_0fI8RhXleBbg$
=============================================
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 optimization. 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
special focus on:
- quantum language design and implementation
- quantum program analysis and verification
- quantum software engineering
- quantum computer architecture
- quantum circuit optimization
- 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, also in the
form of ongoing works potentially able to foster 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 issue of the ACM
Transactions on Quantum Computing
https://urldefense.com/v3/__https://dl.acm.org/journal/tqc__;!!IBzWLUs!R3M1ICHEK0puKce7LZq5aahSENxh3TRO0HlySL8S6VoaIzlZ4pSX5mzU3Te5Tjs5p1HUgNLKfLAUFPSteojTB4QZt2Ikv_0fI8SxhdryTw$
.
