Current activities of the Computer Curriculum Corporation and university level computer-assisted instruction at Stanford University are highlighted. Stanford's programs in logic, axiomatic set theory, computer-generated speech, and informal mathematical proofs are described and predictions are made for future developments in CAI. (RAO)