A Semantics for Quantum Loops (WQS 2025 - 2nd Workshop on Quantum Software 2025)

Mon 16 - Fri 20 June 2025 Seoul, South Korea

Who

Nicola Assolini, Alessandra Di Pierro

Track

WQS 2025

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 17 Jun 2025 11:20 - 11:40 at Lilac - Session 2

Abstract

We propose a denotational semantics for high-level quantum programming constructs, focusing on quantum-controlled branching and iteration. A mathematical domain is introduced to define the meaning of quantum control flow with loops, reflecting the coherent evolution of the quantum system.

Nicola Assolini

University of Verona

Italy

Alessandra Di Pierro