Schedule - Perimeter Institute for Theoretical Physics

Day 1 (17^th July)
8:00 -- 9:00	Continental Breakfast and Registration
9:00 -- 9:30	Opening Ceremonies 9:00 -- 9:15 Howard Barnum: Scientific Introduction 9:15 -- 9:30 Matt Leifer: Practical Information
9:30 -- 5:30	Introductory Lectures

Day 2 (18^th July)
8:30 -- 9:30	Continental Breakfast and Registration
9:30 -- 5:30	Introductory Lectures

Quantum Logic Track:


Day 1 Morning: Bob Room (405)
9:30 -- 10:30	Introduction to and Historical Overview of Quantum Logics: I. Quantum Mechanics as Probability Theory on L(H), Alex Wilce.
10:30 -- 11:00	Coffee break
11:00 -- 12:30	Category Theory for the 21st Century Working Physicist , Bob Coecke
12:30 -- 2:00	Lunch
Afternoon: Mike Lazaridis Theatre
2:00 -- 3:00	Introduction to and Overview of Quantum Logics : II. Abstract Quantum Logic and Representation Theorems, Alex Wilce
3:00 -- 3:30	Coffee break
3:30 -- 4:30	Quantum Dynamic Logic I : Introduction to Modal Logics, Alexandru Baltag
4:30 -- 5:30	Operational Quantum Logic I : Effect Algebras and States, Howard Barnum

Day 2 Morning: Mike Lazaridis Theatre
9:30 -- 10:30	Quantum Dynamic Logic II : Introduction to Syntax, Semantics, and Representations of Quantum Logics Sonja Smets
10:30 -- 11:00	Coffee break
11:00 -- 12:30	Introduction to logics as type theories for quantum processes : Samson Abramsky
12:30 -- 2:00	Lunch
Afternoon: Bob Room (405)
2:00 -- 3:00	Introduction to and Overview of Quantum Logic : III. Dialectic: Axiomatics, Compound Systems, and Properties. Alex Wilce
3:00 -- 3:30	Coffee break
3:30 -- 4:30	Operational Quantum Logic II : Convexity, Representations, and Operations, Howard Barnum
4:30 -- 5:30	Quantum Dynamic Logic III : Introduction to Logics as Type Theories for Quantum Processes. Sonja Smets and Alexandru Baltag

Quantum Information/Computation Track:


Day 1 Morning: Mike Lazaridis Theatre
9:30 -- 10:30	Basics of Quantum Information I , Richard Cleve
10:30 -- 11:00	Coffee break
11:00 -- 11:45	Basics of Quantum Information II , Richard Cleve
11:45 -- 12:30	Quantum Shannon Theory I, Patrick Hayden
12:30 -- 2:00	Lunch
Afternoon: Bob Room (405)
2:00 -- 3:00	Quantum Shannon Theory II, Patrick Hayden
3:00 -- 3:30	Coffee break
3:30 -- 4:30	Intro to Quantum Computation and Algorithms: I, Mike Mosca
4:30 -- 5:30	Quantum Error Correction, Dan Gottesman

Day 2 Morning: Bob Room (405)
9:30 -- 10:30	Quantum Algorithms: II, Mike Mosca
10:30 -- 11:00	Coffee break
11:00 -- 12:30	Quantum Complexity Theory , Scott Aaronson
12:30 -- 2:00	Lunch
Afternoon: Alice Room (305)
2:00 -- 3:00	Measurement-based quantum computation , Elham Kashefi
3:00 -- 3:30	Coffee break
3:30 -- 5:00	Quantum Cryptography, Dan Gottesman

Research Talks:


Day 3 (19^th July)
8:30 -- 9:15	Continental Breakfast and Registration Session 1: Quantum Foundations in the Light of Quantum Information Chair: Alex Wilce
9:15 -- 9:30	Howard Burton (Executive Director of PI)
9:30 -- 10:15	Chris Fuchs, Being Bayesian in a Quantum World
10:15 -- 11:00	Guido Bacciagaluppi, The Process of Measurement in Quantum Information
11:00 -- 11:30	Coffee
11:30 -- 12:15	Carlton Caves, Communication-assisted local-hidden-variables models for stabilizer states
12:30 -- 2:00	Lunch
2:00 -- 2:45	Rob Spekkens, Preparation contextuality in its myriad forms Session 2: Quantum Logic and Quantum Computing Chair: Stan Gudder
2:45 -- 3:30	Samson Abramsky, Information is physical, but physics is logical
3:30 -- 4:00	Coffee
4:00 -- 4:45	Matt Leifer, Nondeterministic testing of sequential quantum logic propositions on a quantum computer
4:45 -- 5:30	Sonja Smets, The logic of quantum actions: reasoning about change in quantum systems

Day 4 (20^th July)
8:30 -- 9:30	Continental Breakfast Session 1: Symmetry and Structure in Quantum Systems and Quantum Logics Chair: Carlton Caves
9:30 -- 10:15	Alex Wilce, Symmetry and quantum logic
10:15 -- 11:00	William Wootters, Discrete phase space based on finite fields
11:00 -- 11:30	Coffee
11:30 -- 12:15	David Foulis, Rickart comparability groups and quantum logic
12:30 -- 2:00	Lunch
2:00 -- 2:45	Richard Greechie, Residuated Mappings
2:45 -- 4:15	Poster Session (2nd Floor Library) and Coffee Session 2: Describing Quantum States and Composite Systems Chair: Richard Jozsa
4:15 -- 5:00	Scott Aaronson, Are Quantum States Exponentially Long Vectors?
5:00 -- 5:45	Howard Barnum, Nonlocal no-signalling correlations that are locally quantum.

Day 5 (21^st July)
8:30 -- 9:30	Continental Breakfast Session 1: Measurement-based quantum computing Chair: Matt Leifer
9:30 -- 10:15	Hans Briegel, What is a quantum computation?
10:15 -- 11:00	Richard Jozsa, Quantum algorithms and measurement based models of computation
11:00 -- 11:30	Coffee
11:30 -- 12:15	Elham Kashefi, Information flow in graph states computing
12:30 -- 2:00	Lunch Session 2: Operational Quantum Mechanics and Probabilities Chair: Howard Barnum
2:00 -- 2:45	Lucien Hardy, Generalised Probability Theories as a setting for Quantum Theory and other theories
2:45 -- 3:30	Tim Cook, Quantum Logics, Spaces of States,Ordered Banach Spaces, and their Connections to the Works of Foulis- Randall, Gunson, Ludwig, Birkhoff- von Neumann ,...
3:30 -- 4:00	Coffee
4:00 -- 4:45	Ruediger Schack, The frequency operator in quantum mechanics
4:45 -- 5:30	Stan Gudder, A structure for quantum measurements and observables

Day 6 (22^nd July)
8:30 -- 9:30	Continental Breakfast Session 1: Entanglement, nonlocality and logic Chair: Sonja Smets
9:30 -- 10:15	Alexandru Baltag, The dynamic-epistemic logic of entanglement reasoning about local (and non-local) information flow in compound systems.
10:15 -- 11:00	Jonathan Barrett, Super-quantum correlations and linear dynamics
11:00 -- 11:30	Coffee
11:30 -- 12:15	Bob Coecke, Kindergarten quantum mechanics
12:30 -- 2:00	Lunch
2:00 -- 3:00	Panel Discussion (Chair: Howard Barnum)
3:00 -- 3:15	Closing
3:30 -- 4:00	Coffee

[ Back ]