[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Spring School that marks the end of an EU FP6 FET STREP on: Foundational Structures in Quantum Computation and Information May 24-28, 2010, Oxford University, UK http://web.comlab.ox.ac.uk/people/Bob.Coecke/QICS_School.html It consists on extended tutorials on the main research strands within QICS, namely: * Structures and methods for measurement-based quantum computation * Categorical semantics, logics, diagrammatic methods * Classical-quantum interaction and information flow * Quantum automata, machines, calculi Topics that will be covered include: * measurement-based quantum computing (MBQC); properties of graph states; MBQC and condensed matter physics; blind quantum computation; determinism in MBQC; measurement-based classical computation and non-locality; * monoidal categories, Frobenius algebras, and their graphical calculus; (co)algebra of complementary observables and multipartite quantum entanglement, and applications to MBQC; phase groups and non-locality; * classical simulation of quantum circuits; categorical topological quantum computation; graphical calculus for measurements and channels; generalized probabilistic theories; convex operational models and non-locality; * quantum cellular automata (QCA); QCAs and causality; higher types in quantum computing; quantum logics and quantum machines; colagebraic methods; Confirmed lecturers include (more to be announced closer to date): Samson Abramsky (Oxford), Pablo Arrighi (Grenoble), Howard Barnum (Perimeter), Jonathan Barrett (Bristol, TBC), Dan Browne (UCL - London), Bob Coecke (Oxford), Ross Duncan (Oxford), Joe Fitzsimons (Oxford), Akimasa Miyake (Perimeter), Prakash Panangaden (McGill), Simon Perdrix (Grenoble), Peter Selinger (Dalhousie), Maarten van den Nest (Max-Planck, TBC), Reinhard F. Werner (Hannover) If you are interested in attending the QICS School please write Ross Duncan <ross.dun...@comlab.ox.ac.uk>. Please feel free to forward this message to your group or on relevant local mailing lists. --------- Satellite workshop: Quantum Physics and Logic, May 29-30. http://web.comlab.ox.ac.uk/people/Bob.Coecke/QPL_10.html Invited speakers: - John Baez (UCR & Singapore) - Louis Crane (Kansas State) - Benjamin Schumacher (Kenyon College) PC chairs: - Bob Coecke (Oxford) - Prakash Panangaden (McGill) - Peter Selinger (Dalhousie)