The Sixth International Workshop on Programming Languages for Quantum Computing (PLanQC 2026) aims to bring together researchers from the fields of programming languages and quantum information science, 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.
Topics of particular interest include:
- High-level quantum programming languages
- Verification tools for quantum programs
- Novel quantum programming abstractions
- Quantum circuit optimizations
- 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.
This program is tentative and subject to change.
Mon 12 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:00 - 10:30 | |||
09:00 10mTalk | Opening Address PLanQC Vladimir Zamdzhiev Inria | ||
09:10 20mTalk | Traq: Estimating the Quantum Cost of Classical Programs PLanQC Anurudh Peduri Ruhr University Bochum, Jam Kabeer Ali Khan Standard Chartered Bank; Max Planck Institute for Security and Privacy (MPI-SP), Gilles Barthe MPI-SP; IMDEA Software Institute, Michael Walter Ruhr-Universität Bochum | ||
09:30 20mTalk | VC-Qiskit: Automated–Interactive Verification of Qiskit Passes with Minimal Intrusion PLanQC Xiaoquan Xu , Li Zhou Institute of Software at Chinese Academy of Sciences, Mingsheng Ying Institute of Software at Chinese Academy of Sciences; Tsinghua University | ||
09:50 20mTalk | Verifying Repeat-Until-Success Circuits with AutoQ PLanQC Jyun-Ao Lin National Taipei University of Technology, Yu-Fang Chen Academia Sinica, Jakub Havlík Brno University of Technology, Ondřej Lengál Brno University of Technology, Fang-Yi Lo Academia Sinica, Wei-Lun Tsai Academia Sinica | ||
10:10 20mTalk | Quantum Assertion Testing Without Mid-Circuit Measurement: Strategies and Lower Bounds PLanQC | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break POPL Catering | ||
11:00 - 12:30 | |||
11:00 45mKeynote | Keynote Talk PLanQC Christopĥe Chareton CEA, LIST, France | ||
11:45 20mTalk | One rig to control them all PLanQC Chris Heunen University of Edinburgh, Robin Kaarsgaard University of Southern Denmark, Louis Lemonnier University of Edinburgh | ||
12:05 20mTalk | Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach PLanQC | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch POPL Catering | ||
13:40 - 15:30 | |||
13:50 20mTalk | A Graded Modal Type Theory for Pulse Schedules PLanQC Robin Adams Chalmers University of Technology, Gothenburg University, Sweden, Jean-Philippe Bernardy Chalmers University of Technology, Gothenburg University, Sweden, Lorenzo Perticone Chalmers University of Technology, Gothenburg University, Sweden, Jeremy Pope Chalmers University of Technology, Gothenburg University, Sweden | ||
14:10 20mTalk | Efficient Parallel Compilation and Profiling of Quantum Circuits at Large Scales PLanQC Jane Moore Queen's University Belfast, Michael Hart Queen's University Belfast, John McAllister Queen's University Belfast | ||
14:30 20mTalk | A Unified Assertion-Based Framework for Classical-Quantum Program Verification PLanQC | ||
14:50 20mTalk | A Pulse-Level DSL for Real-Time Quantum Control with Hardware Compilation and Emulation PLanQC Yu-Hsuan Wu Academia Sinica, Yue Shi Princeton University, Junyi Liu University of Maryland, Yuxiang Peng Purdue University | ||
15:10 20mTalk | Programming Abstractions for Quantum Linear Algebra PLanQC Charles Yuan University of Wisconsin–Madison | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break POPL Catering | ||
16:00 - 17:30 | |||
16:00 30m | Poster Session PLanQC | ||
16:30 20mTalk | Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction PLanQC Kostia Chardonnet Université de Lorraine, CNRS, Inria, LORIA, Ugo Dal Lago University of Bologna; Centre Inria d’Université Côte d’Azur, Naohiko Hoshino Sojo University, Paolo Pistone Université Claude Bernard Lyon 1 | ||
16:50 20mTalk | Towards a Hierarchical Quantum Circuit Language PLanQC | ||
17:10 20mTalk | Denotational semantics for stabiliser quantum programs PLanQC | ||
Unscheduled Events
Accepted Talks
Call for Submissions
We invite members of the programming languages and quantum computing communities to submit talk proposals for the 6th International Workshop on Programming Languages for Quantum Computing (PLanQC 2026), co-located in January 2026 with POPL in Rennes, France. The workshop will be held on 12 January 2026.
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: October 31, 2025 (end of day, AoE)
- Notification deadline: November 28, 2025 (end of day, AoE)
- Workshop: 12 January 2026
| Mon 12 Jan 2026 Workshop |
| Fri 28 Nov 2025 Notification deadline |
| Fri 31 Oct 2025 Submission deadline |
Vladimir ZamdzhievPC Chair
Inria
France
Miriam Backens
Inria & Loria, Nancy, France
France
Ugo Dal Lago
University of Bologna; Centre Inria d’Université Côte d’Azur
Italy
Claudia Faggian
CNRS, Université Paris Cité
Chris Heunen
University of Edinburgh
United Kingdom
Kesha Hietala
Sandia National Laboratories
United States
Gushu Li
University of Pennsylvania
United States
Jens Palsberg
University of California, Los Angeles (UCLA)
United States
Jennifer Paykin
University of Vermont
United States
Yuxiang Peng
Purdue University
United States
Robert Rand
University of Chicago
United States
Neil Julien Ross
Dalhousie University
Canada
Ina Schaefer
KIT
Germany
Sam Staton
University of Oxford
United Kingdom
Takeshi Tsukada
Chiba University
Japan
Scott Wesley
Dalhousie University
Charles Yuan
University of Wisconsin–Madison
United States
Margherita Zorzi
