3rd International Workshop on Quantum Programming Languages
June 30 - July 1, 2005, Chicago, U.S.A.
Preliminary Schedule
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 |
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 |