Twelf talk: Went pretty well, I think. I do believe it will take about thirty bazillion talks where I get way overambitious in how much technical detail I think I can pack into the allotted time for me to finally realize I should tone it down.

On the other hand, given my audience, I didn't really aim to do cheerleading for Twelf so much as actually show the gory, gory guts of it, so the fact that I gave an hour and a half of gory guts may have been fine.