Effect Semantics for Quantum Protocols (PLanQC 2024) - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

Who

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

Track

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect 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

When

Sat 20 Jan 2024 16:00 - 16:22 at Marconi Room - Verification Chair(s): Robert Rand

Abstract

We present ongoing work on a novel semantics for quantum protocols that is both algorithmically verifiable and correct with respect to the prescriptions of quantum theory.

Lorenzo Ceragioli

IMT Lucca, Italy

Fabio Gadducci

University of Pisa

Giuseppe Lomurno

University of Pisa, Italy

Gabriele Tedeschi

University of Pisa, Italy

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect 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

Session Program

Sat 20 Jan
Displayed time zone: London change

	16:00 - 17:30	VerificationPLanQC at Marconi Room Chair(s): Robert Rand University of Chicago

	16:00 22m Talk		Effect Semantics for Quantum Protocols PLanQC Lorenzo Ceragioli IMT Lucca, Italy, Fabio Gadducci University of Pisa, Giuseppe Lomurno University of Pisa, Italy, Gabriele Tedeschi University of Pisa, Italy
	16:22 22m Talk		QbC: Quantum Correctness by Constructionremote PLanQC Anurudh Peduri Ruhr University Bochum, Ina Schaefer KIT, Michael Walter Ruhr-Universität Bochum Pre-print
	16:45 22m Talk		Quantum Controlled Measurements via Program Transformation PLanQC Kengo Hirata University of Edinburgh, Takeshi Tsukada Chiba University File Attached
	17:07 22m Talk		QGAT: A Generate-and-Test Paradigm for Quantum Circuits PLanQC Ulrik de Muelenaere University of Notre Dame File Attached