4th International Workshop on Quantum Programming Languages
July 17-19, 2006, Oxford
Preliminary Program
See also the program for the other CKC Workshops.
| 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 |
| 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 |
| 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.