Q-STAV 2026

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

Quantencomputer können bestimmte Rechenprobleme lösen, die von klassischen Computern nicht effektiv lösbar sind. In den vergangenen Jahren wurden bedeutende Fortschritte in der Entwicklung von Quantencomputing-Hardware erzielt, wodurch der Weg für praktisch nutzbare Quantencomputer mittlerer Größe in absehbarer Zukunft geebnet wurde.

Um heutigen und zukünftigen Entwicklern von Quantensoftware zu ermöglichen, dieses Potenzial voll auszuschöpfen, benötigen wir Software, Werkzeuge und Ingenieurstechniken, wie sie im klassischen Software Engineering etabliert sind, auch für den Quantum-Computing-Stack. Dies erfordert interdisziplinäre Forschung über ein breites Spektrum von Fachgebieten hinweg, darunter Programmiersprachen und Softwareabstraktionen, Compilerbau, Softwaretest und -verifikation sowie Prozesse, Richtlinien und Benchmarks zur Entwicklung neuer Quantenalgorithmen und deren Einsatz auf Zielhardware.

Das Ziel dieses Workshops ist es, Forschende aus dem klassischen Software Engineering und dem Quantencomputing zusammenzubringen, um die Forschungsagenda für das kommende Zeitalter des Quantum Software Engineering zu gestalten.

 Registrierung

Format

Programm

 Veranstaltungsort:   Workspace Welle7

08:3009:00

 Registrierung

 Raum: Empfang (3. Stock)

09:0010:00

 Q-STAV 2026

 Raum: 6.61 Raum L+

 Link:   Q-STAV 2026

 Organisation:

  • Malte Lochau (Universität Siegen (DE))
  • Benedikt Fauseweh (TU Dortmund / Deutsches Zentrum für Luft- und Raumfahrt (DLR) (DE))
  • Anna Pappa (TU Berlin (DE))
  • Benjamin Kaminski (Universität des Saarlandes (DE))
  • Ina Schaefer (Karlsruher Institut für Technologie (KIT) (DE))
Beschreibung

Quantencomputer können bestimmte Rechenprobleme lösen, die von klassischen Computern nicht effektiv lösbar sind. In den vergangenen Jahren wurden bedeutende Fortschritte in der Entwicklung von Quantencomputing-Hardware erzielt, wodurch der Weg für praktisch nutzbare Quantencomputer mittlerer Größe in absehbarer Zukunft geebnet wurde.

Um heutigen und zukünftigen Entwicklern von Quantensoftware zu ermöglichen, dieses Potenzial voll auszuschöpfen, benötigen wir Software, Werkzeuge und Ingenieurstechniken, wie sie im klassischen Software Engineering etabliert sind, auch für den Quantum-Computing-Stack. Dies erfordert interdisziplinäre Forschung über ein breites Spektrum von Fachgebieten hinweg, darunter Programmiersprachen und Softwareabstraktionen, Compilerbau, Softwaretest und -verifikation sowie Prozesse, Richtlinien und Benchmarks zur Entwicklung neuer Quantenalgorithmen und deren Einsatz auf Zielhardware.

Das Ziel dieses Workshops ist es, Forschende aus dem klassischen Software Engineering und dem Quantencomputing zusammenzubringen, um die Forschungsagenda für das kommende Zeitalter des Quantum Software Engineering zu gestalten.

10:0010:30

 Kaffeepause

 Raum: 4.61 Piazza

10:3012:00

 Q-STAV 2026

 Raum: 6.61 Raum L+

 Link:   Q-STAV 2026

 Organisation:

  • Malte Lochau (Universität Siegen (DE))
  • Benedikt Fauseweh (TU Dortmund / Deutsches Zentrum für Luft- und Raumfahrt (DLR) (DE))
  • Anna Pappa (TU Berlin (DE))
  • Benjamin Kaminski (Universität des Saarlandes (DE))
  • Ina Schaefer (Karlsruher Institut für Technologie (KIT) (DE))
Beschreibung

Quantencomputer können bestimmte Rechenprobleme lösen, die von klassischen Computern nicht effektiv lösbar sind. In den vergangenen Jahren wurden bedeutende Fortschritte in der Entwicklung von Quantencomputing-Hardware erzielt, wodurch der Weg für praktisch nutzbare Quantencomputer mittlerer Größe in absehbarer Zukunft geebnet wurde.

Um heutigen und zukünftigen Entwicklern von Quantensoftware zu ermöglichen, dieses Potenzial voll auszuschöpfen, benötigen wir Software, Werkzeuge und Ingenieurstechniken, wie sie im klassischen Software Engineering etabliert sind, auch für den Quantum-Computing-Stack. Dies erfordert interdisziplinäre Forschung über ein breites Spektrum von Fachgebieten hinweg, darunter Programmiersprachen und Softwareabstraktionen, Compilerbau, Softwaretest und -verifikation sowie Prozesse, Richtlinien und Benchmarks zur Entwicklung neuer Quantenalgorithmen und deren Einsatz auf Zielhardware.

Das Ziel dieses Workshops ist es, Forschende aus dem klassischen Software Engineering und dem Quantencomputing zusammenzubringen, um die Forschungsagenda für das kommende Zeitalter des Quantum Software Engineering zu gestalten.

12:0013:30

 Mittagessen

 Veranstaltungsort:   UniS

13:3015:00

 Q-STAV 2026

 Raum: 6.61 Raum L+

 Link:   Q-STAV 2026

 Organisation:

  • Malte Lochau (Universität Siegen (DE))
  • Benedikt Fauseweh (TU Dortmund / Deutsches Zentrum für Luft- und Raumfahrt (DLR) (DE))
  • Anna Pappa (TU Berlin (DE))
  • Benjamin Kaminski (Universität des Saarlandes (DE))
  • Ina Schaefer (Karlsruher Institut für Technologie (KIT) (DE))
Beschreibung

Quantencomputer können bestimmte Rechenprobleme lösen, die von klassischen Computern nicht effektiv lösbar sind. In den vergangenen Jahren wurden bedeutende Fortschritte in der Entwicklung von Quantencomputing-Hardware erzielt, wodurch der Weg für praktisch nutzbare Quantencomputer mittlerer Größe in absehbarer Zukunft geebnet wurde.

Um heutigen und zukünftigen Entwicklern von Quantensoftware zu ermöglichen, dieses Potenzial voll auszuschöpfen, benötigen wir Software, Werkzeuge und Ingenieurstechniken, wie sie im klassischen Software Engineering etabliert sind, auch für den Quantum-Computing-Stack. Dies erfordert interdisziplinäre Forschung über ein breites Spektrum von Fachgebieten hinweg, darunter Programmiersprachen und Softwareabstraktionen, Compilerbau, Softwaretest und -verifikation sowie Prozesse, Richtlinien und Benchmarks zur Entwicklung neuer Quantenalgorithmen und deren Einsatz auf Zielhardware.

Das Ziel dieses Workshops ist es, Forschende aus dem klassischen Software Engineering und dem Quantencomputing zusammenzubringen, um die Forschungsagenda für das kommende Zeitalter des Quantum Software Engineering zu gestalten.

15:0015:30

 Kaffeepause

 Raum: 4.61 Piazza

15:3017:30

 Q-STAV 2026

 Raum: 6.61 Raum L+

 Link:   Q-STAV 2026

 Organisation:

  • Malte Lochau (Universität Siegen (DE))
  • Benedikt Fauseweh (TU Dortmund / Deutsches Zentrum für Luft- und Raumfahrt (DLR) (DE))
  • Anna Pappa (TU Berlin (DE))
  • Benjamin Kaminski (Universität des Saarlandes (DE))
  • Ina Schaefer (Karlsruher Institut für Technologie (KIT) (DE))
Beschreibung

Quantencomputer können bestimmte Rechenprobleme lösen, die von klassischen Computern nicht effektiv lösbar sind. In den vergangenen Jahren wurden bedeutende Fortschritte in der Entwicklung von Quantencomputing-Hardware erzielt, wodurch der Weg für praktisch nutzbare Quantencomputer mittlerer Größe in absehbarer Zukunft geebnet wurde.

Um heutigen und zukünftigen Entwicklern von Quantensoftware zu ermöglichen, dieses Potenzial voll auszuschöpfen, benötigen wir Software, Werkzeuge und Ingenieurstechniken, wie sie im klassischen Software Engineering etabliert sind, auch für den Quantum-Computing-Stack. Dies erfordert interdisziplinäre Forschung über ein breites Spektrum von Fachgebieten hinweg, darunter Programmiersprachen und Softwareabstraktionen, Compilerbau, Softwaretest und -verifikation sowie Prozesse, Richtlinien und Benchmarks zur Entwicklung neuer Quantenalgorithmen und deren Einsatz auf Zielhardware.

Das Ziel dieses Workshops ist es, Forschende aus dem klassischen Software Engineering und dem Quantencomputing zusammenzubringen, um die Forschungsagenda für das kommende Zeitalter des Quantum Software Engineering zu gestalten.

Organisation