Quantum Programming and Circuits Workshop

The workshop aims at bringing together researchers from quantum computing and classical programming languages. 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.