Workshop on Quantum Programming Languages
University of Ottawa, June 15-16, 2003

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, 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

Location: Arts 257 (see Local Information for maps and directions).

Day 1 - Sunday, June 15

  • 9:00-10:30. P. Panangaden (McGill): "Introduction to Quantum Mechanics" (Tutorial)
  • 10:30-11:00. Break
  • 11:00-12:00. P. Selinger (Ottawa): "Towards a quantum programming language"
  • 12:00-12:45. H. Wiklicky (Imperial): "Quantum Constraint Programming"
  • 12:45-2:15. Lunch
  • 2:15-3:15. Y. Lafont (Marseille): "Primitive gates and relations for classical and quantum boolean circuits" [Abstract]
  • 3:15-3:30. Break
  • 3:30-4:15. T. Altenkirch (Nottingham): "Towards a monadic semantics of quantum computation"
  • 4:15-5:00. P. Zuliani (Bolzano): "Quantum compilation of standard code" [Abstract]
  • 5:00-5:20. R. van der Meyden (New South Wales): "Logics for uncertainty in quantum systems"
Day 2 - Monday, June 16
  • 9:30-10:30. S. Abramsky (Oxford): "Physical Traces"
  • 10:30-11:00. Break
  • 11:00-12:00. A. Edalat (Imperial): "A domain-theoretic model for quantum computation"
  • 12:00-12:45. B. Coecke (Oxford): "Entanglement specification (or, time goes backward at the other side of the bridge)" [Abstract]
  • 12:45-2:15. Lunch
  • 2:15-3:00. P. Hines (Oxford): "The zoology of quantum computers - quantum and classical control structures, applied to quantum and classical data" [Abstract]
  • 3:00-3:15. Break
  • 3:15-4:15. J.-Y. Girard (Marseille): "Between Logic and Quantum"
Logo

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

*

Back to Fields Institute Summer School.


Last updated: Jun 22, 2003 by Peter Selinger