Com S 641 meeting -*- Outline -*- * overview * core * typing * semantics * soundness * operational * summary-design