Categorical Logic & Quantum Computation: ASL special session
There will be a special session on Categorical Logic & Quantum Computation (organized by Michael Makkai, Prakash Panangaden, and Robert Seely) at the forthcoming ASL annual meeting at UQAM, 17 - 21 May 2006. The speakers in this session will include Richard Blute Robin Cockett Sergey Slavnov Bob Coecke Dusko Pavlovic Peter Selinger Claudio Hermida Nicola Gambino In addition, Peter Selinger will give a tutorial on Quantum Information Theory, as part of the main program. Titles and abstracts may be found on the (unofficial!) webpage http://www.math.mcgill.ca/rags/seminar/CLQC.html More (official) information about the meeting in general may be found at the meeting website http://asl2006.uqam.ca/ If you are interested we hope to see you there. -= rags =- -- <rags@math.mcgill.ca> <www.math.mcgill.ca/rags>
participants (1)
-
Robert Seely