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.
Link
Format
- Full-day, on Monday
Program
Location: Workspace Welle7
08:30 – 09:00
Registration
Room: Reception (3rd Floor)
09:00 – 10: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:00 – 10:30
Coffee Break
Room: 4.61 Piazza
10:30 – 12: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:00 – 13:30
Lunch
Location: UniS
13:30 – 15: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:00 – 15:30
Coffee Break
Room: 4.61 Piazza
15:30 – 17: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
- 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)