[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
There will be an informal workshop on Quantum Logic Insipred by Quantum Computation at Indiana University, May 11-12. Our aim is to organize a small workshop that would bring together people who are developing new areas of logic coming from quantum computation, and also people who are interested in related projects coming from areas of philosophical logic, mathematics, and theoretical computer science. Information on speakers may be found at www.indiana.edu/~iulg/qliqc. There is no formal registration and all are welcome, but we would appreciate knowing ahead if you plan to come.