|
|
Monday, June 1 | Time | Speaker or Event | Topic | Location | | 9:00 - 9:30 am | Registration | | Atrium | 9:30 - 10:15 am | Samson Abramsky | Diagonals, self-reference and the edge of consistency: classical and quantum | Bob Room | 10:15 - 11:00 am | Ross Duncan | Phase Groups and Complementarity | Bob Room | 11:00 - 11:30 am | Coffee Break | | Bistro | | 11:30 - 12:15 pm | Bob Coecke | Complementarity as a resource | Bob Room | | 12:15 - 1:00 pm | Rafael Sorkin | What is a quantal reality? | Bob Room | | 1:00 - 2:30 pm | Lunch | | Bistro | | 2:30 - 6:00 pm | Discussion, Tutorials and Work Groups | | Bob Room |
| Tuesday, June 2 | Time | Speaker or Event | Topic | Location | 9:30 - 10:15 am | Lucien Hardy | Operational structures as a foundation for probabilistic theories | Bob Room | 10:15 - 11:00 am | Peter Selinger
| TBA | Bob Room | 11:00 - 11:30 am | Coffee Break | | Bistro | | 11:30 - 12:15 pm | Andreas Döring | Why Topos Theory in the Foundations of Physics | Bob Room | | 12:15 - 1:00 pm | Mehrnoosh Sadrzadeh | TBA | Bob Room | | 1:00 - 2:30 pm | Lunch | | Bistro | | 2:30 - 6:00 pm | Discussion, Tutorials and Work Groups | | Alice Room |
| Wednesday, June 3 | Time | Speaker or Event | Topic | Location | | 9:00 - 9:30 am | Registration | | Atrium | 9:30 - 10:15 am | Klaas Landsman
| The Conway-Kochen-Specker Theorems | Bob Room | 10:15 - 11:00 am | Marni Dee Sheppeard | A Little Categorified Arithmetic from Entanglement | Bob Room | 11:00 - 11:30 am | Coffee Break | | Bistro | | 11:30 - 12:15 pm | Rob Spekkens | Quantum analogues of Bayes' theorem, sufficient statistics and the pooling problem | Bob Room | | 12:15 - 1:00 pm | Mike Stay | Physics, Topology, Logic, and Computation: A Rosetta Stone | Bob Room | | 1:00 - 2:30 pm | Lunch | | Bistro | | 2:30 - 6:00 pm | Discussion, Tutorials and Work Groups | | Bob Room |
| Thursday, June 4 | Time | Speaker or Event | Topic | Location | 9:30 - 10:15 am | Richard Blute | TBA | Bob Room | 10:15 - 11:00 am | Bill Edwards | The Group Theoretic Origin of Non-locality for Qubits | Bob Room | 11:00 - 11:30 am | Coffee Break | | Bistro | | 11:30 - 12:15 pm | Daniel Lehman | Towards an abstract description of tensor product | Bob Room | | 12:15 - 1:00 pm | Jamie Vicary
| Higher-dimensional quantum mechanics | Bob Room | | 1:00 - 2:30 pm | Lunch | | Bistro | | 2:30 - 6:00 pm | Discussion, Tutorials and Work Groups | | Bob Room |
| Friday, June 5 | Time | Speaker or Event | Topic | Location | 9:30 - 10:15 am | Keye Martin
| TBA | Bob Room | 10:15 - 11:00 am | Howard Barnum | Combining Convex and Categorical Frameworks for Information Processingd Physics | Bob Room | 11:00 - 11:30 am | Coffee Break | | Bistro | | 11:30 - 12:15 pm | Prakash Panagaden | Discrete Quantum Causal Dynamics | Bob Room | | 12:15 - 1:00 pm | Ivan Ivanov | Linear Logic for Local Algebras of Observables | Bob Room | | 1:00 - 2:30 pm | Lunch | | Bistro | | 2:30 - 6:00 pm | Discussion, Tutorials and Work Groups | | Bob Room |
|
|
|
|
|
