This circles back to the trade-offs issue. In both CS 1 and CS 2 the ability to decide which tools to use under what circumstances is key. Discrete mathematics as a vehicle for aiding this analysis is essential. The following is a re-organization of my notes from the workshop. Michael Mann Focused on three areas.
Honors projects Close contact in one on one session.
A more minor concern was his remark that recursion is hard to teach. Will address this elsewhere in these notes. Language focus vs. concept focus. There seemed to be a tension between concepts and language. Intuitions vs. Formal proofs.