Upcoming Conferences of Possible Interest to the ACL2 Community

If you have been visiting this page and are disappointed that it has been removed, please send email to kaufmann@cs.utexas.edu and I'll consider putting it back.