The purposes of this three year grant were (i) to develop and distribute curricular materials for early introduction of formal methods and object-oriented programming into the computer science curriculum, and (ii) to develop a network of computer science educators to collaborate on developing these aspects of computer science education. The PI was Chris Nevison of Colgate University.