计算机科学国家重点实验室

State Key Laboratory of Computer Science


Archive for 2013年10月

Small Bug, Big Bang

2013/10/31, Jean-Jacques Lévy

The Parameterized Complexity of Counting k-Matchings

2013/10/28, Radu Curticapean

中国科学院“爱因斯坦讲席教授”、图灵奖获得者Edmund M. Clarke教授来访

10月15日至18日,应计算机科学国家重点实验室邀请,中国科学院“爱因斯坦讲席教授”、2007年ACM图灵奖获得者美国卡内基梅隆大学Edmund M. Clarke教授到软件所进行访问交流,并分别作了三场学术报告。

Automatic Generation of Program Invariants from Traces

2013/10/16, Deepak Kapur

Three Lectures on Model Checking

2013/10/15 to 2013/10/17. Edmund M. Clarke

Rss Feeds