Matt Kaufmann: Selected Presentations

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

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

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]