On Thu, 9 Oct 2008, Michael Kohlhase wrote: > there seem to be no more additions to the doodle, so the only date we have is > tomorrow 17:00 CET. [16.00 BST] Excellent. I'll participate. I've updated the page on last week's seminar with the new sound recording (and I updated the slides on Friday). James