[PRL] Torture Chamber reminder: tomorrow, 2pm, room 166

Carl Eastlund cce at ccs.neu.edu
Tue Sep 1 17:14:55 EDT 2009


Just a reminder (since I changed details in the original posting), my
torture chamber for PPDP is tomorrow at 2pm, and I reserved room 166
for it.  I'll be talking for 25 minutes on Making Induction Manifest
in Modular ACL2.

Carl Eastlund



More information about the PRL mailing list