Quantum Programming and Circuits Workshop

Equations on a whiteboad

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.

View the slides from the conferenceOpen 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.

Organizing Committee

  • Michele Mosca, Institute for Quantum Computing, Waterloo, Canada
  • Martin Roetteler, Microsoft Research, Redmond, U.S.A
  • Peter Selinger, Dalhousie University, Halifax, Canada

Travel and accommodation for Quantum Programming and Circuits workshop

Check the schedule


University of Waterloo | Institute for Quantum Computing logo

Microsoft Research logo

CryptoWorks21 logo

Educational programs

QKD - Quantum Key Distribution Summer School

USEQIP - Undergraduate School on Experimental Quantum Information Processing

QCSYS - Quantum Cryptography School for Young Students

Quantum Innovators logo

Schrödinger's Class button