Subject: categories: Categorical Logic & Quantum Computation: ASL special session

From: Robert Seely <[email-masked]>
Date: Mon, 13 Mar 2006 23:02:52 -0500 (EST)

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 =-

-- 
<[email-masked]>
<www.math.mcgill.ca/rags>