Workshop on Quantum Logic

Announcing an informal workshop on Quantum Logic Inspired by Quantum Computation at Indiana University, May 11-12, 2009

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. Please write to Jamie Chapman if you plan to come: jchapman at indiana.edu.

Organizers:
Michael Dunn, Indiana University
Larry Moss, Indiana University
Zhenghan Wang, Microsoft Station Q

Sponsors:
IU Department of Mathematics
IU Program in Pure and Applied Logic
IU School of Informatics
National Science Foundation