* Categorical Logic & Quantum Computation: ASL special session
@ 2006-03-14 4:02 Robert Seely
0 siblings, 0 replies; only message in thread
From: Robert Seely @ 2006-03-14 4:02 UTC (permalink / raw)
To: Categories List
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>
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2006-03-14 4:02 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-03-14 4:02 Categorical Logic & Quantum Computation: ASL special session Robert Seely
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).