PhD Proposal for Ben Delaware: "Feature Modularity in Mechanized Reasoning"
Room:
Room: GDC 7.808
Contact Name:
Matt Kaufmann
Contact Email:
kaufmann@cs.utexas.edu
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.]
Tags:
- About Us
- Research
- Faculty
- Awards & Honors
- Undergraduate Program
- Graduate Program
- Giving & Collaboration
- Careers
- Outreach
- Alumni
- UTCS Direct
