Organizer: Peter Selinger
The goal of this workshop is to bring together researchers working on
mathematical formalisms and programming languages for quantum
computing. The aim is to exchange ideas about current research, so
reports on work in progress are explicitly encouraged. Possible topics
include
the syntax and semantics of quantum programming languages,
new paradigms for quantum programming,
specification of quantum algorithms,
higherorder quantum computation,
quantum data types,
reversible computation,
axiomatic approaches to quantum computation,
concurrent and distributed quantum computation,
compilation of quantum programs,
and categorical models for quantum computation.
The current list of speakers includes the following:
P. Panangaden (McGill)
J.Y. Girard (Marseille)
Y. Lafont (Marseille)
T. Altenkirch (Nottingham)
P. Selinger (Ottawa)
P. Hines (Oxford)
S. Abramsky (Oxford)
B. Coecke (Oxford)
A. Edalat (Imperial)
H. Wiklicky (Imperial)
P. Zuliani (Bolzano)
A tutorial lecture "Introduction to Quantum Mechanics" will be given
by P. Panangaden.
Location: Arts 257 (see Local
Information for maps and directions).
Day 1  Sunday, June 15
 9:0010:30. P. Panangaden (McGill): "Introduction to Quantum
Mechanics" (Tutorial)
 10:3011:00. Break
 11:0012:00. P. Selinger (Ottawa): "Towards a quantum programming language"
 12:0012:45. H. Wiklicky (Imperial): "Quantum Constraint Programming"
 12:452:15. Lunch
 2:153:15. Y. Lafont (Marseille): "Primitive gates and relations for classical and quantum boolean circuits"
[Abstract]
 3:153:30. Break
 3:304:15. T. Altenkirch (Nottingham): "Towards a monadic
semantics of quantum computation"
 4:155:00. P. Zuliani (Bolzano): "Quantum compilation of standard code"
[Abstract]
 5:005:20. R. van der Meyden (New South Wales): "Logics for
uncertainty in quantum systems"
Day 2  Monday, June 16
 9:3010:30. S. Abramsky (Oxford): "Physical Traces"
 10:3011:00. Break
 11:0012:00. A. Edalat (Imperial): "A domaintheoretic model for quantum computation"
 12:0012:45. B. Coecke (Oxford): "Entanglement specification (or, time goes
backward at the other side of the bridge)"
[Abstract]
 12:452:15. Lunch
 2:153:00. P. Hines (Oxford): "The zoology of quantum computers  quantum
and classical control structures, applied to quantum and classical data"
[Abstract]
 3:003:15. Break
 3:154:15. J.Y. Girard (Marseille): "Between Logic and Quantum"

Organizer:
Peter Selinger
Forms:
Workshop
Registration
Accommodations Registration
Workshops:
June 1516: Quantum
June 17: Games
June 1819: Linguistics
June 1920: Concurrency
Related Events in Ottawa:
May 30June 1: FMCS'03
June 220: Fields'03
June 2127: LICS'03
