ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

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.

Supporters
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00
RegistrationCatering & social at Foyer 2
08:00
60m
Registration
Registration
Catering & social

09:00 - 10:30
Quantum programming languages and paradigmsPLanQC at E3
Chair(s): Robert Rand University of Chicago
09:00
40m
Talk
Quantum relational Hoare logic, towards a formalization
PLanQC
Dominique Unruh University of Tartu
09:40
25m
Talk
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
25m
Talk
Quantum Programming with Data Structures
PLanQC
Charles Yuan MIT CSAIL, Michael Carbin MIT CSAIL
File Attached
10:30 - 11:00
Coffee breakCatering & social at Foyer 2
10:30
30m
Coffee break
Coffee break
Catering & social

11:00 - 12:30
Hardware-aware quantum programmingPLanQC at E3
Chair(s): Kartik Singhal University of Chicago
11:00
25m
Talk
Topological Quantum Programming in TED-KVirtual
PLanQC
Hisham Sati New York University, Abu Dhabi, Urs Schreiber New York University, Abu Dhabi
File Attached
11:25
25m
Talk
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
40m
Talk
Poster session
PLanQC

File Attached
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering & social

14:00 - 15:30
Formalization, verification, and correctnessPLanQC at E3
Chair(s): Ross Duncan Cambridge Quantum Computing
14:00
40m
Talk
Invited talk: Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
PLanQC
Charles Yuan MIT CSAIL
14:40
25m
Talk
Analyzing quantum programs using the power of interaction
PLanQC
File Attached
15:05
25m
Talk
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
Coffee breakCatering & social at Foyer 2
15:30
30m
Coffee break
Coffee break
Catering & social

16:00 - 17:30
Synthesis and compilationPLanQC at E3
Chair(s): Amr Sabry Indiana University
16:00
25m
Talk
Optimal synthesis into fixed XX interactions
PLanQC
Eric C. Peterson IBM Quantum, Lev S. Bishop IBM Quantum, Ali Javadi-Abhari IBM Quatum
File Attached
16:25
25m
Talk
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
25m
Talk
Adventures in Qutrit Compilation
PLanQC
Lia Yeh University of Oxford, John van de Wetering University of Oxford
File Attached
17:15
15m
Day closing
Conclusion and Group Photo
PLanQC

17:30 - 20:00
Industrial receptionCatering & social at Foyer 2
17:30
2h30m
Social Event
Industrial reception
Catering & social

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

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

Questions? Use the PLanQC contact form.