3rd International Workshop on Quantum Programming Languages

June 30 - July 1, 2005, Chicago, U.S.A.

Preliminary Schedule

Thursday, June 30

9:00 Peter Selinger (Dalhousie): "Dagger compact closed categories and completely positive maps"
9:45 Bob Coecke (Oxford): "De-linearizing linearity: projective quantum axiomatics from strong compact closure"
10:30 Coffee break
11:00 P. Adão, P. Mateus (TU Lisbon): "A process algebra for reasoning about quantum security"
11:45 Rajagopal Nagarajan, Nikolaos Papanikolaou (Warwick), David Williams (CU London): "Simulating and compiling code for the Sequential Quantum Random Access Machine"
12:30 Lunch
14:00 Dominique Unruh (Karlsruhe): "Quantum programs with classical output streams"
14:45 Simon Perdrix (Grenoble): "Quantum patterns and types for entanglement and separability"
15:30 Coffee Break
16:00 Thorsten Altenkirch, Jonathan Grattage (Nottingham), Juliana K. Vizzotto (Rio Grande do Sul), Amr Sabry (Indiana): "An algebra of pure quantum programming"
16:45 Discussion
17:30 End

Friday, July 1

9:30 Invited lecture:
Hans J. Briegel (Innsbruck), Robert Raussendorf (CalTech): "What is a quantum computation?"
10:30 Coffee break
11:00 Vincent Danos (Paris 7), Elham Kashefi (Waterloo): "Pauli measurements are universal"
11:45 Vincent Danos (Paris 7), Ellie D'Hondt (VU Brussels), Elham Kashefi (Waterloo), Prakash Panangaden (McGill): "Distributed measurement-based quantum computation"
12:45 Paolo Zuliani (Princeton): "Quantum programming with mixed states"
13:30 Lunch / End of workshop