Matt Kaufmann: Selected Presentations

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

  • 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)
    • Gzipped tarfile that includes the talk web page along with the supporting .lisp files
  • 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]