4th International Workshop on Quantum Programming Languages

July 17-19, 2006, Oxford

Preliminary Program

See also the program for the other CKC Workshops.

Monday, July 17

9:00 Sam Lomonaco Jr. (UMBC, Maryland): Tutorial: "A Rosetta stone for quantum computing and information science: cats, kets, cloisters, measurement, and quanglement"
10:00 Break
10:15 Sam Lomonaco Jr. (UMBC, Maryland): Tutorial: "Introduction to quantum algorithms"
11:15 Break
11:30 Sam Lomonaco Jr. (UMBC, Maryland): Tutorial: "Topological quantum computing and the Jones polynomial"
12:30 Lunch
14:00 Samson Abramsky (Oxford): Tutorial: "Introduction to logics as type theories for quantum processes"
15:30 Break
16:00 Simon Gay (Glasgow): Tutorial: "Introduction to Semantics of Programming Languages"
17:30 End

Tuesday, July 18

9:00 Bob Coecke (Oxford): "Axiomatic description of mixed states from Selinger's CPM construction"
9:45 Bob Coecke (Oxford), Éric O. Paquette (U. Montreal): "POVMs and Naimark's theorem without sums"
10:30 Break
11:00 Philippe Jorrand, Simon Perdrix (Grenoble): "A quantum calculus"
11:45 Alexander S. Green, Thorsten Altenkirch (Nottingham): "From reversible to irreversible computations"
12:30 Lunch
14:00 Peter Selinger (Dalhousie), Benoit Valiron (Ottawa): "On a fully abstract model for a quantum linear functional language"
14:45 Yannic Delbecque (McGill): "A quantum game semantics for the measurement calculus"
15:30 Break
16:00 M. Lampis, K.G. Ginis & N.S. Papaspyrou (NTU Athens): "Quantum data and control made easier"
16:45 J.K. Vizzotto, A.C. da Rocha Costa & A. Sabry (Rio Grande, Pelotas and Indiana): "Quantum arrows in Haskell"
17:30 End

Wednesday, July 19

9:00 A. Di Pierro (Pisa), H. Wiklicky (Imperial): "Semantic abstraction and quantum computation"
9:45 Peter Selinger (Dalhousie): "Idempotents in dagger categories"
11:00 Discussion
12:30 End of workshop

See also the program for the other CKC Workshops.

* * *