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 |