2nd International Workshop on Quantum Programming Languages
July 12-13, 2004, Turku, Finland
Schedule
| 9:00 | Invited lecture: Richard Jozsa (Bristol): "On the structure of quantum algorithms and the role of classical mathematics" |
| 10:00 | Bob Coecke (Oxford): "Quantum information flow, concretely, abstractly" |
| 10:40 | Coffee break |
| 11:15 | Marie Lalire, Philippe Jorrand (Grenoble): "A process algebraic approach to concurrent and distributed quantum computation: operational semantics" |
| 11:55 | Simon Gay (Glasgow), Rajagopal Nagarajan (Warwick): "Communicating quantum processes" |
| 12:35 | Lunch |
| 14:00 | Ellie D'Hondt (VU Brussels), Prakash Panangaden (McGill and Oxford): "Quantum weakest preconditions" |
| 14:40 | K. M. Svore (Columbia), A. W. Cross (MIT), A. V. Aho (Columbia), I. L. Chuang (MIT), I. L. Markov (U. Michigan): "Toward a software architecture for quantum computing design tools" |
| 15:20 | Samson Abramsky, Ross Duncan (Oxford): "A categorical quantum logic" |
| 16:00 | Coffee Break |
| 16:30 | Discussion |
| 17:30 | End |
| 9:00 | Peter Selinger (Ottawa): "Towards a semantics for higher-order quantum computation" |
| 9:40 | Benoit Valiron (Ottawa): "Quantum typing" |
| 10:20 | Coffee break |
| 11:00 | Pablo Arrighi (IGM-UMLV), Gilles Dowek (LIX, École Polytechnique): "Operational semantics for formal tensorial calculus" |
| 11:40 | Alexandru Baltag (Oxford), Sonja Smets (VU Brussels): "A dynamic logic for quantum programming" |
| 12:20 | Lunch |
| 14:00 | LICS starts |