PIRSA:C05010 - Quantum Information, Computation and Logic: Exploring New Connections Subscribe to podcast

Both quantum logic (QL) and quantum information (QI) are based on viewing quantum mechanics in terms of concepts closely tied to information, so QL, should be closely connected to QI. On the whole, these two research fields are pursued by separate communities and so a closer collaboration is likely to yield significant insights into both. While taking a broad view of both fields, the workshop will focus on areas that we feel are most likely to spark significant collaboration and new research initiatives.

Organizer(s):   Howard Barnum  

Collection URL: http://pirsa.org/C05010

PIRSA:05070088  ( Flash Presentation , Windows Presentation , Windows Video File , PDF) Which Format? Basics of Quantum Information Speaker(s): Richard Cleve Abstract: Date: 17/07/2005 - 11:00 am Collection: Quantum Information, Computation and Logic: Exploring New Connections URL: http://pirsa.org/05070088/  Share:

PIRSA:05070089  ( Flash Presentation , Windows Presentation , Windows Video File , PDF) Which Format? Quantum Shannon Theory I Speaker(s): Patrick Hayden Abstract: Date: 17/07/2005 - 11:45 am Collection: Quantum Information, Computation and Logic: Exploring New Connections URL: http://pirsa.org/05070089/  Share:

PIRSA:05070090  ( Flash Presentation , Windows Presentation , Windows Video File , MP3 , PDF) Which Format? Introduction to and Historical Overview of Quantum Logics Speaker(s): Alex Wilce Abstract: Introductory lecture summary: 1. Finite dimensional hilbert spaces and (complemented) modular lattices; infinite-dimensional hilbert spaces and orthomodularity. 2. von Neumann's QL; von Neumann-Birkhoff (briefly!); reconstruction of QM from P(H) 3. Mackey's programme; some early axiomatics (e.g... read more Date: 17/07/2005 - 2:00 pm Collection: Quantum Information, Computation and Logic: Exploring New Connections URL: http://pirsa.org/05070090/  Share:

PIRSA:05070091  ( Flash Presentation , Windows Presentation , Windows Video File , MP3 , PDF) Which Format? Dynamic and Modal Aspects of Quantum Logic Speaker(s): Alexandru Baltag Abstract: Languages (syntax of modal logic, dynamic logic, epistemic logic). Relational (Kripke) models. Algebraic models (quantales, dynamic algebras). Axioms. Date: 17/07/2005 - 3:30 pm Collection: Quantum Information, Computation and Logic: Exploring New Connections URL: http://pirsa.org/05070091/  Share:

PIRSA:05070092  ( Flash Presentation , Windows Presentation , Windows Video File , MP3 , PDF) Which Format? Operational Quantum Logic Speaker(s): Howard Barnum Abstract: Introductory lecture summary: Operational Quantum Logic I: Effect Algebras, States, and Basic Convexity • Effect algebras, effect test-spaces, PAS's (partial abelian semigroups). • Morphisms, states, dynamics. Classes of effect algebras whose state-set has nice properties. • Operational ... read more Date: 17/07/2005 - 4:30 pm Collection: Quantum Information, Computation and Logic: Exploring New Connections URL: http://pirsa.org/05070092/  Share:

PIRSA:05070093  ( Flash Presentation , Windows Presentation , Windows Video File , PDF) Which Format? Quantum Dynamic Logic II Speaker(s): Sonja Smets Abstract: Date: 18/07/2005 - 9:30 am Collection: Quantum Information, Computation and Logic: Exploring New Connections URL: http://pirsa.org/05070093/  Share:

PIRSA:05070094  ( Flash Presentation , Windows Presentation , Windows Video File , PDF) Which Format? Introduction to logics as type theories for quantum processes Speaker(s): Samson Abramsky Abstract: Date: 18/07/2005 - 11:00 am Collection: Quantum Information, Computation and Logic: Exploring New Connections URL: http://pirsa.org/05070094/  Share:

PIRSA:05070095  ( Flash Presentation , Windows Presentation , Windows Video File , MP3 , PDF) Which Format? Operational Quantum Logic Speaker(s): Howard Barnum Abstract: Introductory lecture summary: Operational Quantum Logic I: Effect Algebras, States, and Basic Convexity • Effect algebras, effect test-spaces, PAS's (partial abelian semigroups). • Morphisms, states, dynamics. Classes of effect algebras whose state-set has nice properties. • Operational ... read more Date: 18/07/2005 - 3:30 pm Collection: Quantum Information, Computation and Logic: Exploring New Connections URL: http://pirsa.org/05070095/  Share:

PIRSA:05070096  ( Flash Presentation , Windows Presentation , Windows Video File , MP3 , PDF) Which Format? July 18, 2005 - TBA Speaker(s): Sonjas Smets, Alexandru Baltag Abstract: Date: 18/07/2005 - 4:30 pm Collection: Quantum Information, Computation and Logic: Exploring New Connections URL: http://pirsa.org/05070096/  Share:

PIRSA:05070097  ( Flash Presentation , Windows Presentation , Windows Video File , PDF) Which Format? Being Bayesian in a Quantum World. Speaker(s): Chris Fuchs Abstract: Date: 19/07/2005 - 9:30 am Collection: Quantum Information, Computation and Logic: Exploring New Connections URL: http://pirsa.org/05070097/  Share: