May 9th, 2008

beartato phd

(no subject)

Today: advisor meeting, mpa's talk on forward-chaining logic programming for reconfigurable modular robotics, had some interesting conversation with sean mclaughlin about fast intuitionistic propositional theorem proving, played with gnucash a bit.