Program

9:00 Introduction of seminar and participants

10:00 What do we have (lightning talks)

• Quantum Theories: As far as it goes (Iaakov Exman)

• Hybrid (classical-quantum) software modernization (Ricardo Pérez-Castillo)

• Some initial lessons from 18 years of quantum programming (Wolfang Mauerer)

• Solving Min-k-Union Problem with Quantum Computing (Christof Schroth)

• Programming Quantum Annealers (Elisabeth Lobe)

• Parity Quantum Computing (Roeland ter Hoeven)

• Quantum picturalism as a software development tool (Ossi Niemimäki)

• Quantum Service Oriented Computing (Juanma Murillo)

• When Software Engineering Meets Quantum Computing (Tao Yue)

• Quantum Software Lifecycle (Benjamin Weder)

• Conformance Testing of Quantum Computations (Malte Lochau)

• Mutation Testing of Quantum Programs (Daniel Fortunato)

• Exploring the Advantages of Quantum Computing for Early Adopters (Rudolf Ramler)

• Brief introduction to BMBF-project QuBRA and BMWK-project ProvideQ (Ina Schaefer)

• Quantum Software Engineering: Insights from the Practitioners (Manuel De Stefano)

12:30 Lunch

13:30 Group Work

15:30 Visit of a trapped ion quantum computer

19:00 Joint Dinner (Kaiser Max, Herzog-Friedrich-Strasse 23)