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"