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, higher-order 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.
Speakers |
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.
Program |
Organizer:
Peter Selinger
Forms:
Workshop
Registration
Accommodations Registration
Workshops:
June 15-16: Quantum
June 17: Games
June 18-19: Linguistics
June 19-20: Concurrency
Related Events in Ottawa:
May 30-June 1: FMCS'03
June 2-20: Fields'03
June 21-27: LICS'03