Wikipedia paper: The movie 
To sum up last weekend: The Computing and Philosophy conference had suitable proportions of computing, philosophy, food, wine, and camaraderie. Kudos to the organizers for running a tight ship.

I promoted forall x at every reasonable opportunity. I put out fliers and a sample copy in the book exhibit; someone thought enough of it to walk off with the sample copy at the end of the conference, which is a kind of compliment. I had several conversations about it, some with people who are actively trying to pick a logic textbook.

The presentation of my Wikipedia paper went well. In addition to the discussion immediately after the talk, I had some excellent chats later in the weekend. You can watch the video of my talk online, if you are so inclined. (It's in Windows Media format, and I take up about the first third of the stream.) Watching it makes me cringe at how often I interpose 'um' between otherwise interesting words.

We are sorry. New comments are not allowed after 1 days.