ATP seminar: Kaustuv talked about hyperresolution and focussing. Over my head.
ConCert meeting: Frank talked about ordered logic. Has something to with serialization? Maybe. I'm stubbornly believing that it has more to do with "strong" associativity than ordering per se.
Physics II Test: Blah.
Chatted with tom7 and kaustuv about various type theory and logic stuff.