Matt Kaufmann: Selected Presentations

NOTE: See also resume (long or shorter version) for full publication list.

  • Logical Foundations for the ACL2 Theorem Prover (New York City, May 28, 2019)
  • Me on retiring from UT Austin
  • ACL2 Support for Interactive Proof (Chalmers, Gothenburg, Sweden, August 10, 2015)
  • ACL2 Support for Automated and Interactive Proof (invited talk, 14th KeY Symposium 2015, Gothenburg, Sweden, July 27, 2015)
  • ACL2: Implementation of a Computational Logic (talk given in logic seminar, Univ. of Gothenburg, June, 2015)
  • Introduction to ACL2 (slides for two 1.25 hour talks in UT CS graduate class, April, 2015)
  • Verifying LabVIEW Graphical Programs with ACL2 (talk at Workshop on Linking Tools for Verified Software, Microsoft Research Cambridge, November, 2008)
  • Aspects of ACL2 User Interaction (talk at UITP 2008, 8/22/08)
  • Slides for a Talk (with J Moore) at the 2006 UT CS Visions Lectures

  • Useful features of ACL2 (seminar talk, 2/15/06)
  • Meta Reasoning in ACL2 (Warren Hunt, Matt Kaufmann, Robert Krug, J Moore and Eric Smith)
  • Slides presented at DCC'02 [PDF] [PS]
  • Demo (movie) of acl2-doc browser