作为最成功的形式化方法之一，模型检测在国内引起了越来越多的关注。为了进一步推动我国在这一领域的研究，在国家自然科学基金重点项目“模型检测的理论、技术与工具”的支持下，中国科学院软件所计算机科学国家重点实验室将于2010年10月11-16日举办一次模型检测讲习班。讲习班的讲演人及讲演主题如下：

本次讲习班面向国内大学和研究所的研究生和青年研究人员。讲习班将提供参加者和讲演人互动、交流的机会。有意参加者请填写申请表，并返回给。讲习班名额有限，我们将根据提交申请表的时间顺序确定参加讲习班的人员。讲习班注册费人民币200元。