The Quantum Programming and Circuits Workshop took place June 8-11, 2015.
The workshop brought together researchers from quantum computing and classical programming languages. Have a look at the slides from the conference to learn more.
Open questions that we anticipate this group to tackle include new methods for circuit synthesis and optimization, compiler optimizations and rewriting, embedded languages versus non-embedded languages, implementations of type systems and error reporting for quantum languages, techniques for verifying the correctness of quantum programs, and new techniques for compiling efficient circuits and protocols for fault-tolerant questions and their 2D layout. See the schedule for more details.
Currently, only very few opportunities exist to bring together experts from the fields of quantum computing, programming languages, and compiler design; to give them the opportunity to engage in exchange of ideas; and to report on progress for both theoretical and implementation aspects. We also expect a vibrant open problems session as well as exchange of benchmarks for the best known circuits for some classes of transformations that are important for the synthesis of large quantum algorithms.
Registration is now closed.
- Michele Mosca, Institute for Quantum Computing, Waterloo, Canada
- Martin Roetteler, Microsoft Research, Redmond, U.S.A
- Peter Selinger, Dalhousie University, Halifax, Canada