We had intended to feature a Graduate Student Day on Saturday, November 17th, as part of the ACL2 Workshop. However, we decided to cancel Graduate Student Day, because of the big overlap with the (very popular) ACL2 Rump Sessions. If you were planning to present something for Graduate Student Day, make a submission to the ACL2 Rump Session instead. We should be able to accommodate (short) rump session ideas almost until the start of the workshop.