4th International Workshop on Quantum Programming Languages

July 17-19, 2006, Oxford

Invited tutorials:

• Sam Lomonaco

• Samson Abramsky

• Simon Gay

Contributed talks:

• B. Coecke, "Axiomatic description of mixed states from Selinger's CPM construction"

• B. Coecke, E.O. Paquette, "POVMs and Naimark's theorem without sums"

• Y. Delbecque, "A Quantum Game Semantics for the Measurement Calculus"

• A. Di Pierro, H. Wiklicky, "Semantic Abstraction and Quantum Computation (Extended Abstract)"

• A.S. Green, T. Altenkirch, "From reversible to irreversible computations"

• P. Jorrand, S. Perdrix, "A Quantum Calculus (Work in Progress)"

• M. Lampis, K.G. Ginis, N.S. Papaspyrou, "Quantum Data and Control Made Easier"

• P. Selinger, "Idempotents in dagger categories"

• P. Selinger, B. Valiron, "On a fully abstract model for a quantum linear functional language"

• J.K. Vizzotto, A.C. da Rocha Costa, A. Sabry, "Quantum Arrows in Haskell"