ACL2 Seminar

Contact Name: 
Matt Kaufmann
Date: 
Repeats every week until Mon Dec 23 2013 .
Aug 23, 2013 10:00am - 12:00pm
Date: 
Date: 
Date: 
Date: 
Date: 
Date: 
Date: 
Date: 
Date: 
Date: 
Date: 
Date: 
Date: 
Date: 
Date: 
Date: 
Date: 

The ACL2 seminar is a regular meeting of the UT CS formal methods group headed by Profs. Warren Hunt and J Moore, and is open to anyone interested in formal methods.

Tags: