- Proofread Ava's booklet.
- Iemhoff's paper in 2000 AiML proceedings.
- Friedman's 1975 paper in Proc.Nat.Acad.Sci. USA
- Porte, "50 Years of the Deduction Theorem", in Proc. Herbrand Soc., 1982
- Made a few minor corrections on N paper; just waiting for Jesse now.
- Send out an IEP paper for revision and another for refereeing, and accepted one more for drafting.
- Looked up room for course (KJC, yay!), as well reminded myself of the moodle URL.
- Dealing with travel stuff for Fordham this weekend.