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)

• Slides
• Abstract
• Gzipped tarfile (containing slides and supporting materials for the slides above)

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)

• Abstract
• Script used during the presentation
• Log

Meta Reasoning in ACL2 (Warren Hunt, Matt Kaufmann, Robert Krug, J Moore and Eric Smith)

• Slides (PDF)
• Paper (PDF)]
• NOTE: In proceedings of TPHOLs 2005, Oxford, UK, August 22--25, 2005. See LNCS series Homepage. The copyright for this contribution is held by Springer: © Springer-Verlag.

Slides presented at DCC'02 [PDF] [PS]

Demo (movie) of acl2-doc browser