ACL2 Theorem Proving Seminar at the University of Texas

ACL2 stands for ``A Computational Logic for Applicative Common Lisp'' but our research group is interested in all aspects of mechanized theorem proving and in the mechanized verification of hardware and software.

For fall semester 2017, ACL2 seminars are scheduled to take place on Fridays 10:15 am - 12:00 noon, in room GDC 7.808 (University of Texas at Austin).

This page lists meetings back to the start of the 2002-2003 academic year.

Click here for some formal methods papers (for possible future presentations).

Upcoming meetings:

Previous meetings (reverse order):

Talks Preceding the 2002-2003 Academic Year

Examples and log from Recursion and Induction class Nov. 1, 2011