My long absence from this page is not just a matter of slackness. Oh no. The first two weeks of December were given over to the Logic and Automated Reasoning Summer School. I found this pretty full-on, and I only went to two out of five lectures a day, and some of the seminars. Students, who were encouraged to attend everything, and probably all had less of a background in logic than I had, no doubt found it all quite overwhelming. (I’m sure I would have.) In some lectures, I already knew some of the material in a bitty way, as if I’d picked it up by osmosis, say. I went to these lectures because I wanted to see the material presented more formally, so that I subsequently might be able to honestly claim that I really did know something about it. (It was interesting too, of course!)
I also gave a lecture and a seminar myself. In both cases, I went in somewhat worried that I didn’t have enough to say, but found myself with not enough time. Five already sketchy slides on Cooper’s algorithm (from the end of this presentation), presented at haste, assuredly did no-one any good whatsoever. I think the description of Fourier-Motzkin and the Omega Test went across well though.
I leave you with this interesting and amusing analysis of procrastination.
Comments