Accueil arrow Scientifique arrow Conferences arrow Past arrow 2005 arrow Quantum Information, Computation and Logic: Exploring New Connections arrow Schedule
Schedule

Nous sommes heureux de procurer en français, sur ce site web, les informations concernant le fonctionnement general de l'institut Perimeter. Nous pouvons aussi procurer en français toutes informations additionelles sur demande.

Schedule

Saturday July 16th - 6:30pm - Wine and Cheese Welcome Reception and Registration

Introductory Talks:

Day 1 (17th 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 (18th 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 (19th 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 (20th 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 (21st 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 (22nd 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
 
[ Retour ]

 
© 2012 Perimeter Institute for Theoretical Physics
Site Map - Privacy Policy - Send Feedback