Schedule


TimeSpeaker/ Title/ Abstract/ VODLocation
16:30 - 17:30 Mechanization of Proof: From 4-Color Theorem to Compiler Verification
허층길 (서울대학교),
CAMP Seminar Room