The Fourth International Workshop on Programming Languages for Quantum Computing (PLanQC 2024) aims to bring together researchers from the fields of programming languages and quantum information, exposing the programming languages community to the unique challenges of programming quantum computers. It will promote the development of tools to assist in the process of programming quantum computers, both those that exist today and those likely to exist in the near to far future.
Workshop topics include (but are not limited to):
- High-level quantum programming languages
- Verification tools for quantum programs
- Novel quantum programming abstractions
- Quantum circuit and program optimization
- Hardware-aware circuit compilation and routing
- Error handling, mitigation, and correction
- Instruction sets for quantum hardware
- Other techniques from traditional programming languages (e.g., types, compilation/optimization, foreign function interfaces) applied to the domain of quantum computation.
PLanQC 2024 is an in-person event. Talks will be streamed in real-time, and virtual participants will be able to chat and ask questions, but not to speak due to technical difficulties.
Sat 20 JanDisplayed time zone: London change
09:00 - 10:30 | |||
09:00 45mKeynote | Monoidal Adventures PLanQC Conor McBride University of Strathclyde | ||
09:45 22mTalk | Introducing BRAT PLanQC Ross Duncan Quantinuum, Mark Koch Quantinuum, Alan Lawrence Quantinuum, Conor McBride University of Strathclyde, Craig Roy Quantinuum File Attached | ||
10:07 22mTalk | Circuit Width Estimation via Effect Typing and Linear Dependency (Extended Abstract) PLanQC Andrea Colledan University of Bologna & INRIA Sophia Antipolis, Ugo Dal Lago University of Bologna & INRIA Sophia Antipolis | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 22mTalk | Graphical Primitive Recursion For String Diagrams PLanQC | ||
11:22 22mTalk | Optimal compilation of parametrised quantum circuits PLanQC John van de Wetering University of Amsterdam, Richie Yeung University of Oxford, Tuomas Laakkonen Quantinuum, Aleks Kissinger University of Oxford | ||
11:45 22mTalk | Polynomial-time Classical Simulation of Roetteler’s Shifted Bent Function Algorithm PLanQC | ||
12:07 22mTalk | Qadence: a differentiable interface for digital-analog programs PLanQC Dominik Seitz PASQAL SAS, Niklas Heim PASQAL SAS, João P. Moutinho PASQAL SAS, Roland Guichard PASQAL SAS, Vytautas Abramavicius PASQAL SAS, Aleksander Wennersteen PASQAL SAS, Gert-Jan Both PASQAL SAS, Mario Dagrada PASQAL SAS, Vincent Elfving PASQAL SAS Pre-print File Attached | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
12:30 - 14:00 | |||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | New Directions for Quantum ProgrammingPLanQC at Marconi Room Chair(s): Aleks Kissinger University of Oxford | ||
14:00 22mTalk | A feasible and unitary programming language with quantum control PLanQC Alejandro Díaz-Caro ICC (UBA-CONICET) & UNQ, Emmanuel Hainry LORIA, Université de Lorraine, Romain Péchoux Université de Lorraine; CNRS; Inria; LORIA, Mário Silva LORIA, Université de Lorraine | ||
14:22 22mTalk | GUPPY: Pythonic Quantum-Classical Programming PLanQC Mark Koch Quantinuum, Alan Lawrence Quantinuum, Kartik Singhal Quantinuum, Seyon Sivarajah Quantinuum, Ross Duncan Quantinuum Media Attached File Attached | ||
14:44 22mTalk | Quantum and Classical Control (work-in-progress)remote PLanQC Kinnari Dave Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire Méthodes Formelles, Louis Lemonnier Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire Méthodes Formelles, Romain Péchoux Université de Lorraine; CNRS; Inria; LORIA, Vladimir Zamdzhiev Inria | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
16:00 22mTalk | 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 22mTalk | QbC: Quantum Correctness by Constructionremote PLanQC Pre-print | ||
16:45 22mTalk | Quantum Controlled Measurements via Program Transformation PLanQC File Attached | ||
17:07 22mTalk | QGAT: A Generate-and-Test Paradigm for Quantum Circuits PLanQC Ulrik de Muelenaere University of Notre Dame File Attached | ||
Accepted Papers
Call for Submissions
We invite members of the programming languages and quantum computing communities to submit talk proposals for the 4th International Workshop on Programming Languages for Quantum Computing (PLanQC 2024), co-located in January 2024 with POPL in London, UK.
PLanQC aims to bring together researchers from the fields of programming languages and quantum information, exposing the programming languages community to the unique challenges of programming quantum computers. It will promote the development of tools to assist in the process of programming quantum computers, as they exist today and as they are likely to exist in the near to distant future.
Submissions to PLanQC should take the form of 2-5 page abstracts (single-column, 11pt acmsmall style, not including references), with links to larger preprints when appropriate. Work in progress is welcome. We hope to make PLanQC maximally accessible to the programming languages community. Thus, abstracts should cover cutting-edge ideas and results, but not be opaque to new, potential entrants to quantum computing coming from programming languages. Abstracts will be reviewed for quality and relevance to the workshop, and accepted authors will be invited to give talks or poster presentations. We will not be publishing formal proceedings, but the extended abstracts, along with links (where available) to full papers will be posted to the website of the workshop.
Workshop topics
- High-level quantum programming languages
- Verification tools for quantum programs
- Novel quantum programming abstractions
- Quantum circuit and program optimization
- Hardware-aware circuit compilation and routing
- Error handling, mitigation, and correction
- Instruction sets for quantum hardware
- Other techniques from traditional programming languages (e.g., types, compilation/optimization, foreign function interfaces) applied to the domain of quantum computation.
Important dates
- Submission deadline: November 3, 2023 (end of day, AoE)
- Notification deadline: December 6, 2023 (end of day, AoE)
| Sat 20 Jan 2024 Workshop |
| Wed 6 Dec 2023 Notification deadline |
| Fri 3 Nov 2023 Submission deadline |
Matthew Amy
Simon Fraser University
Canada
Ross Duncan
Quantinuum
Cassandra Granade
Dual Space Solutions, LLC
Kesha Hietala
Amazon Web Services
United States
Robin Kaarsgaard
University of Southern Denmark
Denmark
Jennifer Paykin
Intel Labs
United States
Robert Rand
University of Chicago
United States
Mathys Rennela
INRIA Paris
France
Neil Julien Ross
Dalhousie University
Canada
Amr Sabry
Indiana University
United States
Peter Selinger
Dalhousie University
Canada
Kate Smith
Michael Walter
Ruhr-Universität Bochum
Margherita Zorzi
John van de Wetering
University of Amsterdam
Netherlands