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 |