It was heartening to see that analysis was taken seriously, in the context of trade-offs between implementations. Formal analysis was viewed as not nearly as important as having intuitions about space and time complexity. To do objects right in the second course we need to do it in the first. We need to make a clear distinction between concept, use of concept and implementation of concept. We should teach students to the use of the black box, to know when to use the black box, and then later show them what is inside.
Informal analysis is critical.
Students should be well versed in doing intuitive analysis. 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.