Monday, October 7, 2013

Monday, October 7, 2013

Reading

  • 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
And lots and lots of back-and-forths with various SEP articles, bits of C&Z, and bits of Boolos.

Writing

Revising

  • Made a few minor corrections on N paper; just waiting for Jesse now.

Refereeing

  • Send out an IEP paper for revision and another for refereeing, and accepted one more for drafting.

Teaching

  • Looked up room for course (KJC, yay!), as well reminded myself of the moodle URL.

Conferences

  • Dealing with travel stuff for Fordham this weekend.

Miscellaneous

No comments:

Post a Comment