3rd International Workshop on Quantum Software-Engineering Tools, Algorithms & Verification (Q-STAV 2026)

Scope and Topics

Quantum computers can solve certain types of computational problems that go beyond the capabilities of classical computers. Over the last years, we observe remarkable progress in developing quantum hardware that paves the way towards early fault-tolerant quantum computers in the near future. To utilize these promising new potentials, we require comprehensive methods and tools for quantum software engineering. This includes concepts being well-established for classical software engineering like appropriate modeling abstractions, programming languages, compiler construction, testing and analysis techniques and standardized development processes and guidelines. But it also requires novel approaches, such as noise-aware circuit design and entanglement-dependent distribution of quantum workloads. All these aspects are required to effectively and efficiently develop, operationalize and maintain novel quantum algorithms.

The recently started DFG priority programme 2514 Quantum Software, Algorithms and Systems Concepts, Methods and Tools for the Quantum Software Stack further pushes this topic on top of the research agenda. In this third edition, we open the workshop to involve the classical software engineering community and the quantum computing community in shaping the new research area of quantum software engineering as one of the most important and innovative topics in computer science. The goal of the workshop is to define a research roadmap and to foster collaborations between software engineering and quantum computing to create synergies between both disciplines. 

Types of Submissions

We accept two types of contributions:

  • Presentation of already published papers; a short summary (2 pages) will appear in the workshop proceedings.
  • Original, previously unpublished, papers (6 – 12 pages) which will appear as full papers in the workshop proceedings.

Reviewing Process

All submissions will be reviewed by at least three program committee members following a single-blind review process. Submissions of already published papers will be only checked with respect to formal requirements and if the topic is within the scope of the workshop.

Programm Committee

  • tba

Important Dates

  • Paper Submission: 1 December 2025 (AoE)
  • Notification: 18 December 2025 (AoE)
  • Final Version: 19 January 2026 (AoE)
  • Workshop: 23 February 2026

Submission Link

Organization

  • Malte Lochau (University of Siegen)
  • Benedikt Fauseweh (TU Dortmund / DLR)
  • Anna Pappa (TU Berlin)
  • Benjamin Kaminski (Saarland University)
  • Ina Schaefer (KIT)

Contact

For further information, please consult the web page and contact Malte Lochau ∂does-not-exist.uni-siegen de.