CS 641 Lecture -*- Outline -*- for introduction meeting 1 * intro * semantics-overview