Q-STAV 2026

3rd International Workshop on Quantum Software-Engineering Tools, Algorithms & Verification

Quantum computers can solve certain computational problems which are not effectively solvable by classical computers. Over the past years, significant progress has been made in the development of quantum computing hardware, thus paving the way to practically usable mid-size quantum computers in the foreseeable future.

To enable today’s and future developers of quantum software to fully exploit these potentials, we require software, tools and engineering techniques established for classical software engineering also for the quantum computing stack. This requires collaborative research across a wide range of disciplines including programming languages and software abstractions, compiler construction, software testing and verification as well as processes, guidelines and benchmarks for developing new quantum algorithms and deploying them on target hardware.

The goal of this workshop is to bring together researchers from classical software engineering and from quantum computing to shape the research agenda for the upcoming era of quantum software engineering.

 Registration

Format

Program

 Location:   Workspace Welle7

08:3009:00

 Registration

 Room: Reception (3rd Floor)

09:0010:00

 Q-STAV 2026

 Room: 6.61 Raum L+

 Link:   Q-STAV 2026

 Organisation:

  • Malte Lochau (University of Siegen (DE))
  • Benedikt Fauseweh (TU Dortmund / German Aerospace Center (DLR) (DE))
  • Anna Pappa (TU Berlin (DE))
  • Benjamin Kaminski (Saarland University (DE))
  • Ina Schaefer (Karlsruhe Institute of Technology (KIT) (DE))
Description

Quantum computers can solve certain computational problems which are not effectively solvable by classical computers. Over the past years, significant progress has been made in the development of quantum computing hardware, thus paving the way to practically usable mid-size quantum computers in the foreseeable future.

To enable today’s and future developers of quantum software to fully exploit these potentials, we require software, tools and engineering techniques established for classical software engineering also for the quantum computing stack. This requires collaborative research across a wide range of disciplines including programming languages and software abstractions, compiler construction, software testing and verification as well as processes, guidelines and benchmarks for developing new quantum algorithms and deploying them on target hardware.

The goal of this workshop is to bring together researchers from classical software engineering and from quantum computing to shape the research agenda for the upcoming era of quantum software engineering.

10:0010:30

 Coffee Break

 Room: 4.61 Piazza

10:3012:00

 Q-STAV 2026

 Room: 6.61 Raum L+

 Link:   Q-STAV 2026

 Organisation:

  • Malte Lochau (University of Siegen (DE))
  • Benedikt Fauseweh (TU Dortmund / German Aerospace Center (DLR) (DE))
  • Anna Pappa (TU Berlin (DE))
  • Benjamin Kaminski (Saarland University (DE))
  • Ina Schaefer (Karlsruhe Institute of Technology (KIT) (DE))
Description

Quantum computers can solve certain computational problems which are not effectively solvable by classical computers. Over the past years, significant progress has been made in the development of quantum computing hardware, thus paving the way to practically usable mid-size quantum computers in the foreseeable future.

To enable today’s and future developers of quantum software to fully exploit these potentials, we require software, tools and engineering techniques established for classical software engineering also for the quantum computing stack. This requires collaborative research across a wide range of disciplines including programming languages and software abstractions, compiler construction, software testing and verification as well as processes, guidelines and benchmarks for developing new quantum algorithms and deploying them on target hardware.

The goal of this workshop is to bring together researchers from classical software engineering and from quantum computing to shape the research agenda for the upcoming era of quantum software engineering.

12:0013:30

 Lunch

 Location:   UniS

13:3015:00

 Q-STAV 2026

 Room: 6.61 Raum L+

 Link:   Q-STAV 2026

 Organisation:

  • Malte Lochau (University of Siegen (DE))
  • Benedikt Fauseweh (TU Dortmund / German Aerospace Center (DLR) (DE))
  • Anna Pappa (TU Berlin (DE))
  • Benjamin Kaminski (Saarland University (DE))
  • Ina Schaefer (Karlsruhe Institute of Technology (KIT) (DE))
Description

Quantum computers can solve certain computational problems which are not effectively solvable by classical computers. Over the past years, significant progress has been made in the development of quantum computing hardware, thus paving the way to practically usable mid-size quantum computers in the foreseeable future.

To enable today’s and future developers of quantum software to fully exploit these potentials, we require software, tools and engineering techniques established for classical software engineering also for the quantum computing stack. This requires collaborative research across a wide range of disciplines including programming languages and software abstractions, compiler construction, software testing and verification as well as processes, guidelines and benchmarks for developing new quantum algorithms and deploying them on target hardware.

The goal of this workshop is to bring together researchers from classical software engineering and from quantum computing to shape the research agenda for the upcoming era of quantum software engineering.

15:0015:30

 Coffee Break

 Room: 4.61 Piazza

15:3017:30

 Q-STAV 2026

 Room: 6.61 Raum L+

 Link:   Q-STAV 2026

 Organisation:

  • Malte Lochau (University of Siegen (DE))
  • Benedikt Fauseweh (TU Dortmund / German Aerospace Center (DLR) (DE))
  • Anna Pappa (TU Berlin (DE))
  • Benjamin Kaminski (Saarland University (DE))
  • Ina Schaefer (Karlsruhe Institute of Technology (KIT) (DE))
Description

Quantum computers can solve certain computational problems which are not effectively solvable by classical computers. Over the past years, significant progress has been made in the development of quantum computing hardware, thus paving the way to practically usable mid-size quantum computers in the foreseeable future.

To enable today’s and future developers of quantum software to fully exploit these potentials, we require software, tools and engineering techniques established for classical software engineering also for the quantum computing stack. This requires collaborative research across a wide range of disciplines including programming languages and software abstractions, compiler construction, software testing and verification as well as processes, guidelines and benchmarks for developing new quantum algorithms and deploying them on target hardware.

The goal of this workshop is to bring together researchers from classical software engineering and from quantum computing to shape the research agenda for the upcoming era of quantum software engineering.

Organisation