제 2회 SNU Computing Research Forum - 미래컴퓨팅 기술의 분야별 개론 및 첨단 연구내용 소개|2/5 (금) 09:30|그랜드 인터컨티넨탈 호텔 2층 오키드룸ㆍ국화룸
Towards multi-modal extraction and summarization of conversationsRaymond T. Ng|University of British Columbia11/23 (월) 10:30|302 Building, Room 105
CPS Assurance: Definitions, Examples, and Research IssuesKang G. Shin|Computer Science EECS Department, University of Michigan10/16 (금) 13:00|302 Building, Room 105
Is Hardware Innovation Over?Arvind|Computer Science and Artificial Intelligence Laboratory, MIT10/7 (수) 16:00|302 Building, Room 105
Research and Innovation at GoogleAlfred Spector|VP of Research and Special Initiatives, Google Inc.9/22 (화) 12:00|302 Building, Room 105
From Separation Logic to Systems CodePeter O'Hearn|Queen Mary, University of London5/11 (월) 16:00|302 Building, Room 105