3rd International Workshop on Quantum Programming Languages
June 30 - July 1, 2005, Chicago, U.S.A.
|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"|
|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"|
|14:00||Dominique Unruh (Karlsruhe): "Quantum programs with classical output streams"|
|14:45||Simon Perdrix (Grenoble): "Quantum patterns and types for entanglement and separability"|
|16:00||Thorsten Altenkirch, Jonathan Grattage (Nottingham), Juliana K. Vizzotto (Rio Grande do Sul), Amr Sabry (Indiana): "An algebra of pure quantum programming"|
|9:30|| Invited lecture:|
Hans J. Briegel (Innsbruck), Robert Raussendorf (CalTech): "What is a quantum computation?"
|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|