Day 1: Wednesday, October 3, 2007
8:30 –   9:00  Continental Breakfast
9:00 –   9:30  Welcome and Introductory Comments
Charles Harper (Convener), Hans Halvorson (Chair)
9:30 – 10:20 Session #1, Keynote Presentation:
“Spans in Quantum Theory”
John Baez
10:20 - 10:45 Session #1 Q&A and Open Discussion
10:45 – 11:05  Break
11:05 – 11:50  Session #2: Presentation Title TBA
Simon Kochen
11:50 – 12:10   Session #2 Q&A and Open Discussion
12:10 –  1:20 Informal Buffet Lunch
1:20 –  2:05   Session #3: “The Principle of General Tovariance”
Klaas Landsman
2:05 –  2:25 Session #3 Q&A and Open Discussion
2:25 –  3:10   Session #4: “The Logic of Quantum Mechanics—Take II”
Bob Coecke
3:10 –  3:35 Break
3:35 –  3:55  Session #4 Q&A and Open Discussion
3:55 –  4:40   Session #5: “Topos Theory in the Foundations of Physics”
Andreas Döring
4:40 –  5:00  Session #5 Q&A and Open Discussion
5:00 –  5:20    General Group Discussion and Wrap-Up, Day 1
6:00  –  8:00 Reception and Dinner

      

Day 2: Thursday, October 4, 2007
8:30 –   9:00  Continental Breakfast
9:00 –   9:45  Session #6: “Yet More Ado About Nothing: The Remarkable Relativistic Vacuum State”
Stephen Summers
9:45 – 10:05 Session #6 Q&A and Open Discussion
10:05- 10:50       Session #7: “An Operational Framework for a Theory of Quantum Gravity”
Lucien Hardy
10:50 – 11:10 Break
11:10 – 11:30 Session #7 Q&A and Open Discussion
11:30 – 12:15  Session #8: “Von Neumann on Probability in Quantum Mechanics” Jeffrey Bub
12:15 – 12:35 Session #8 Q&A and Open Discussion
12:35 –  1:45 Informal Buffet Lunch
1:45 –  2:30 Session #9: “Operational Independence
of Quantum Systems”
Miklós Rédei
2:30 –  2:50  Session #9 Q&A and Open Discussion
2:50 –  3:35  Session #10: “Quantum Physics and the Finiteness
of Information”
Časlav Brukner
3:35 –  3:55 Break
3:55 –  4:15   Session #10 Q&A and Open Discussion
4:15 –  5:00  General Group Discussion and Future Possibilities
6:00 –  8:00     Reception and Dinner