Tuesday, December 1
As much of the detail as can be delivered in an hour will be delivered. What is known about the correctness of the paper as of the time of the talk will be stated.