Spring School - Program

Day 1 - May 11, 2026

9:00 - 10:30

Introduction

10:30 - 11:00

Coffee Break

11:00 - 12:30

QSE. Concepts

Anila Mjeda - Quantum Computing Foundations for Quantum Software Engineering (more info)

José García - When Quantum Computing meet services (more info)

13:00 - 14:30

Lunch

14:30 - 16:00

QSE. Modeling and Architecture

Tommi Mikkonen - Quantum software: infrastructure, middleware and associated practicalities (more info)

16:00 - 16:30

Coffee Break

16:30 - 18:00

QSE. Quality Assurance 1

Shaukat Ali - Foundations and Techniques of Quantum Software Testing (more info)

20:00 - 21:00

Dinner

21:30

Quantum Game Night Contest

Day 2 - May 12, 2026

9:00 - 10:30

QSE. Quality Assurance 2

Mohammad Reza Mousavi - Taming Spooky Actions at a Distance: A Discipline of Quantum Software Testing (more info)

Manuel Wimmer - Quantum Software Design and Synthesis (more info)

10:30 - 11:00

Coffee Break

11:00 - 12:30

QSE. Quantum Programming

Jianjun Zhao - Quantum Programming: A Software Engineering Perspective (more info)

Juanma Murillo - Beyond Quantum Circuits: Towards Higher-Level Quantum Programming (more info)

13:00 - 14:30

Lunch

14:30 - 18:00

Social Event

20:00 - 21:30

Dinner

Day 3 - May 13, 2026

9:00 - 10:30

QSE. Circuit Generation and Genetic Techniques

Tao Yue and Man Zhang - Quantum and Quantum-Inspired Optimization for Software Engineering (more info)

10:30 - 11:00

Coffee Break

11:00 - 12:30

QSE. Quantum Optimization: Annealing and Quantum AI

Elisabetta Di Nitto - Quantum annealing and quantum optimization (more info)

13:00 - 14:30

Lunch

14:30 - 16:00

QSE. Quantum Services

Antonio Brogi - Software engineering techniques to empower quantum computing (more info)

Wolfgang Mauerer - Quantum Computing in Practice: From Resources to Advantages (more info)

16:00 - 16:30

Coffee Break

16:30 - 18:00

Evaluation

20:00 - 21:00

Dinner