The Third International Workshop on Programming Languages for Quantum Computing (PLanQC 2022) 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 2022 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.
All of the PLanQC talks can be watched on the PLanQC YouTube channel.
Thu 15 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
08:00 - 09:00 | |||
08:00 60mRegistration | Registration Catering & social |
09:00 - 10:30 | |||
09:00 40mTalk | Quantum relational Hoare logic, towards a formalization PLanQC Dominique Unruh University of Tartu | ||
09:40 25mTalk | Type-safe (Variational) Quantum Programming in IdrisVirtual PLanQC Liliane-Joy Dandy EPFL, Ecole Polytechnique, Emmanuel Jeandel LORIA, University of Lorraine, Vladimir Zamdzhiev Inria, LORIA, Université de Lorraine File Attached | ||
10:05 25mTalk | Quantum Programming with Data Structures PLanQC File Attached |
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering & social |
11:00 - 12:30 | |||
11:00 25mTalk | Topological Quantum Programming in TED-KVirtual PLanQC File Attached | ||
11:25 25mTalk | Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers PLanQC Raphael Seidel Fraunhofer Institute for Open Communication Systems, Sebastian Bock Fraunhofer Institute for Open Communication Systems, Nikolay Tcholtchev Fraunhofer Institute for Open Communication Systems, Manfred Hauswirth Fraunhofer Institute for Open Communication Systems, TU Berlin File Attached | ||
11:50 40mTalk | Poster session PLanQC File Attached |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering & social |
14:00 - 15:30 | Formalization, verification, and correctnessPLanQC at E3 Chair(s): Ross Duncan Cambridge Quantum Computing | ||
14:00 40mTalk | Invited talk: Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs PLanQC Charles Yuan MIT CSAIL | ||
14:40 25mTalk | Analyzing quantum programs using the power of interaction PLanQC File Attached | ||
15:05 25mTalk | Q*: Implementing Quantum Separation Logic in F* PLanQC Kesha Hietala University of Maryland, Sarah Marshall Microsoft Quantum, Robert Rand University of Chicago, Nikhil Swamy MSR Redmond File Attached |
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee break Catering & social |
16:00 - 17:30 | |||
16:00 25mTalk | Optimal synthesis into fixed XX interactions PLanQC File Attached | ||
16:25 25mTalk | Encoding High-level Quantum Programs as SZX-diagrams PLanQC Agustín Borgna Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France and Université Paris-Saclay, CNRS, Laboratoire Méthodes Formelles, 91405, Orsay, France, Rafael Romero Universidad de Buenos Aires, Universidad de la República File Attached | ||
16:50 25mTalk | Adventures in Qutrit Compilation PLanQC File Attached | ||
17:15 15mDay closing | Conclusion and Group Photo PLanQC |
17:30 - 20:00 | |||
17:30 2h30mSocial Event | Industrial reception Catering & social |
Accepted Papers
Call for Submissions
We invite members of the programming languages and quantum computing communities to submit talk proposals for the 3rd International Workshop on Programming Languages for Quantum Computing (PLanQC 2022), co-located this September with ICFP in Ljubljana, Slovenia.
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 programing 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.
Invited Speakers:
- Dominique Unruh, University of Tartu
- Charles Yuan, MIT
Workshop Topics
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 optimizations
- 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: 24 June 2022 (anywhere on earth)
- Author notification: 1 August 2022
- Workshop: 15 September 2022
All of the PLanQC talks can be watched on the PLanQC YouTube channel.
Call for Posters
PLanQC 2022: Programming Languages for Quantum Computing
Call for poster abstracts (deadline: August 15, 2022, AoE)
We invite members of the programming languages and quantum computing communities to submit poster abstracts for the 3rd International Workshop on Programming Languages for Quantum Computing (PLanQC 2022), co-located this September with ICFP in Ljubljana, Slovenia.
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.
Poster abstracts should contain no more than a few paragraphs and should fit on a single page. Work in progress is welcome. Abstracts will be reviewed for quality and relevance to the workshop.
Poster abstracts can be submitted by email to: neil.jr.ross@dal.ca
Travel Support for Students
Thanks to the generosity of our sponsors, we can provide travel funding to a limited number of students interested in attending PLanQC!
To apply for travel funding, please fill out the form below:
https://forms.gle/Qo7Jv4sdhvzhvNVNA
This form will be open until July 31st and responses will be sent out by August 8th.
Other sources of funding for students interested in attending all of ICFP (particularly those interested in volunteering) are also available:
https://icfp22.sigplan.org/track/icfp-2022-student-volunteers