**
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"*