Information for

The Quantum Programming and Circuits Workshop will be held at the Mike & Ophelia Lazaridis Quantum-Nano Centre (QNC) on the University of Waterloo campus.

Monday, June 8, 2015

8:00 Registration
8:50 Welcoming address
9:00 Dave Wecker, Microsoft Research
Plenary talk: LIQUi|> Simulation and compilation of quantum algorithms
10:00 Coffee break
10:30 Blake Johnson, BBN
Quantum Gate Language: A machine language for quantum processors
11:00 Vlad Gheorghiu, Institute for Quantum Computing
Quantum++ - A modern C++ quantum computing library
11:30 Simon Devitt, Ochanomizu University
Compilation for time-optimal, fault-tolerant quantum circuits
12:00 Lunch break
2:00 Rolando Somma, Los Alamos
Plenary talk: Hamiltonian Simulation of Discrete and Continuous-Variable Quantum Systems
3:00 Coffee break
3:30 Rainer Steinwandt, Florida Atlantic University
Cryptanalysis as a source for elementary circuit benchmarks
4:00 Andrei Lapets, Boston University
Quantum programming in undergraduate computer science courses
5:00 Workshop reception

Tuesday, June 9, 2015

9:00 Krysta Svore, Microsoft Research
Plenary talk: Efficient Synthesis of Universal Probabilistic Quantum Circuits
10:00 Coffee break
10:30 Anargyros Papageorgiou, Columbia University
Quantum algorithms for scientific computing
11:00 Nathan Wiebe, Microsoft Research
Quantum arithmetic and numerical analysis using Repeat-Until-Success circuits
11:30 William Zeng, University of Oxford
Diagrammatic methods for the specification and verification of quantum algorithms
12:00 Lunch break
2:00 Benoît Valiron, Université Paris Diderot
Plenary talk: Quipper: A Scalable Quantum Programming Language
3:00 Coffee break
3:30 Robert Glück, University of Copenhagen
Elements of reversible programming languages
4:00 Alexis De Vos, Universiteit Gent
From classical circuits to quantum circuits
7:00 Krysta Svore, Microsoft Research
Public lecture: Quantum Computing: Transforming the Digital Age

Wednesday, June 10, 2015

9:00 Margaret Martonosi, Princeton University
Plenary talk: Language, Compiler, and Optimization Issues in Quantum Computing
10:00 Coffee break
10:30 Tetsuo Yokoyama, Nanzan University
On the theory of reversible flowchart languages
11:00 Alex Bocharov, Microsoft Research 
Mathematics of efficient topological quantum circuits

Shigeru Yamashita, Ritsumeikan University
Reduction of computational steps for topological quantum circuits

12:00 Lunch break
2:00 Peter Sarnak, Princeton University and IAS
Plenary talk: The Solovay -Kitaev theorem and Golden Gates
3:00 Free afternoon with IQC lab tours
6:00 Workshop banquet at the University Club

Thursday, June 11, 2015

9:00 David Gosset, Caltech
Plenary talk: Exact synthesis of single-qubit unitaries over Clifford-cyclotomic gate sets
10:00 Coffee break
10:30 Vadym Kliuchnikov, Microsoft Research
A framework for exact synthesis
11:00 Xiaoning Bian, Dalhousie University
Relations for Clifford+T operators on two qubits
11:30 Holger Bock Axelsen, University of Copenhagen
Aspects of compilation for reversible programming languages
12:00 Lunch break
2:00 Neil Ross, Dalhousie University
Plenary talk: Clifford+T approximations of special unitaries
3:00 Coffee break
3:30 Himanshu Thapliyal, University of Kentucky
Circuit design of garbageless reversible multiplier for quantum computing
4:00 Jacques Carette, McMaster University
Representing, manipulating and optimizing reversible circuits
4:30 Closing remarks

Conference home page

Check the schedule

Book your travel and accomodations


University of Waterloo and IQC 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