**
2nd International Workshop on Quantum Programming Languages
**

*July 12-13, 2004, Turku, Finland*

### Invited speaker:

- Richard Jozsa (Bristol):
*"On the structure of quantum algorithms and the role of classical
mathematics"*

### Contributed talks:

- Samson Abramsky, Ross Duncan:
*"A categorical quantum logic"*

- Pablo Arrighi, Gilles Dowek:
*"Operational semantics for formal tensorial calculus"*

- Alexandru Baltag, Sonja Smets:
*"A dynamic logic for quantum programming"*

- Bob Coecke:
*"Quantum information flow, concretely, abstractly"*

- Ellie D'Hondt, Prakash Panangaden:
*"Quantum weakest preconditions"*

- Simon Gay, Rajagopal Nagarajan:
*"Communicating quantum processes"*

- Philippe Jorrand, Marie Lalire:
*"A process algebraic approach to concurrent and distributed quantum
computation: operational semantics"*

- Peter Selinger:
*"Towards a semantics for higher-order quantum computation"*

- K. M. Svore, A. W. Cross, A. V. Aho, I. L. Chuang, S. A. Edwards, I. L. Markov:
*"Toward a software architecture for quantum computing design tools"*

- Benoit Valiron:
*"Quantum typing"*

- Paolo Zuliani:
*"Non-deterministic quantum programming"*