ACL2 Seminar (special meeting)

Contact Name: 
Matt Kaufmann
Date: 
Dec 2, 2013 10:00am - 12:00pm

Prof. Mike Ernst of the University of Washington will speak at this special Monday meeting of the ACL2 seminar.

Tags: