3rd International Workshop on Quantum Programming Languages

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

Invited speaker:

• Hans J. Briegel (Innsbruck) "What is a quantum computation?"

Contributed talks:

• P. Adão, P. Mateus "A process algebra for reasoning about quantum security"

• T. Altenkirch, J. Grattage, J. K. Vizzotto, A. Sabry "An algebra of pure quantum programming"

• B. Coecke "De-linearizing linearity: projective quantum axiomatics from strong compact closure"

• V. Danos, E. D'Hondt, E. Kashefi, P. Panangaden "Distributed measurement-based quantum computation"

• V. Danos, E. Kashefi "Pauli measurements are universal"

• R. Nagarajan, N. Papanikolaou, D. Williams "Simulating and compiling code for the Sequential Quantum Random Access Machine"

• S. Perdrix "Quantum patterns and types for entanglement and separability"

• P. Selinger "Dagger compact closed categories and completely positive maps"

• D. Unruh "Quantum programs with classical output streams"

• P. Zuliani "Quantum programming with mixed states"