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"

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.