[TYPES/announce] WQS 2025 - Deadline Extended

[Nicola Assolini]

**Update: Deadline-Extension by one week!**

==========================================================

Deadline:  Tuesday 1st Apr 2025 (AoE)  (Extended!)
Author notification: Sunday 27 Apr, 2025 (AoE)

==========================================================

The Workshop on Quantum Software 2025 takes place in Seoul, South Korea, with PLDI 2025 (Mon 16 - Fri 20 June 2025)
Website: https://urldefense.com/v3/__https://pldi25.sigplan.org/home/wqs-2025__;!!IBzWLUs!UhNxYpITlZqhh6wV1wKC4fZHO8bKZfOTGL09gnfdvpo653LA2TNauaJvANp5a0pM1RPAF2l6gVykbodbGk8-xViPF5ZRd-libRA_6AQD4w$ 

=============================================
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 optimisation
- quantum hardware-software interface
- quantum assembler

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250325/86a4f69a/attachment-0001.htm>