PhD Proposal for Ben Delaware: "Feature Modularity in Mechanized Reasoning"

Contact Name: 
Matt Kaufmann
Date: 
Feb 12, 2013 3:00pm - 4:00pm

Ben Delaware, PhD Proposal: "Feature Modularity in Mechanized Reasoning".

[NOTE: I have already requested the same room, GDC 7.808, for the ACL2 seminar, from 4-6pm every Tuesday.I expect Ben's proposal to run into that time, which is fine.

-- Matt K.]