2nd International Workshop on Quantum Programming Languages

July 12-13, 2004, Turku, Finland


Monday, July 12

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

Tuesday, July 13

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