An ACL2 Tutorial

• 👤 Speaker: Matt Kaufmann (University of Texas at Austin)
• 📅 Date & Time: Tuesday 02 December 2008, 13:00 - 14:00
• 📍 Venue: Computer Laboratory, William Gates Building, Room SS03

Series This talk is part of the Computer Laboratory Automated Reasoning Group Lunches series.

Included in Lists

• All Talks (aka the CURE list)
• bld31
• Cambridge talks
• Computer Laboratory Automated Reasoning Group Lunches
• Computer Laboratory, William Gates Building, Room SS03
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• Martin's interesting talks
• School of Technology
• Trust & Technology Initiative - interesting events
• yk373's list
• yk449

Note: Ex-directory lists are not shown.