Original Link: ...

Original Link:

http://dauns.math.tulane.edu/~mwm/WIP2009/slides/samson.pdf

WORKSHOP ON INFORMATIC PHENOMENA (2009):

http://dauns.math.tulane.edu/~mwm/WIP2009/Titles_and_Abstracts.html

### Statistics

### Views

- Total Views
- 375
- Views on SlideShare
- 375
- Embed Views

### Actions

- Likes
- 0
- Downloads
- 5
- Comments
- 1

No embeds

### Accessibility

### Categories

### Upload Details

Uploaded via SlideShare as Adobe PDF

### Usage Rights

© All Rights Reserved

Full NameComment goes here.Hamid Y. Javanbakht, Independent Researcher at Piazza's Fine Foods 'Samson Abramsky, Information Flow in Physics, Geometry, Logic and ComputationIn my lectures, I will describe a broad program that has been initiated to model information flow in these and related areas. This includes a high-level reformulation of quantum information and quantum computing using category theory that have been shown to capture all of the fundamental components of the theory. The approach supports reasoning about classical and quantum communication in the same model. The approach also has provided what are arguably the first completely formal descriptions and proofs of correctness of several key quantum informatic protocols, e.g. (logic-gate) teleportation, superdense coding, and one-way computational schemes. It also provides a description of the quantum state, as well as the flow of information from the quantum state to the classical world (measurements), and from the classical world to the quantum state (control), all of which are important for reasoning about security in a quantum setting.'

http://129.81.170.14/~mwm/clifford/Site/Abstracts.html

Speaker: Samson Abramsky (University of Oxford)

Title: Information flow in physics, geometry, logic and computation V

Event: Clifford Lectures 2008 (March 2008, Tulane University)

http://www.youtube.com/watch?v=pmwbcW4E35c