DARPA preparation meeting (continues through the 4pm ACL2 seminar)

Contact Name: 
Matt Kaufmann
Mar 19, 2013 3:30pm - 4:00pm

The research group of Warren Hunt will prepare for a progress report to give to DARPA on Thursday.  This meeting will start at 3:30 and go through the end of the regularly-scheduled ACL2 seminar (which is scheduled to start at 4:00).