Dr. Lipton, the speaker scheduled for the February 20th seminar had to cancel due to unforseen circumstances. Instead, we have the following talk. Note that the place is still Room 402, CS Building, Princeton University.