模型检测暑期讲习班

2010年10月11日至16日
中国北京

首页 课程 日程 注册 地点 主办 English


更新:
  • 模型检测讲习班的照片已上载,请查看
  • 模型检测讲习班的讲义电子版已上载,请查看课程页面

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

  • E. Allen Emerson (UT Austin): Model Checking

  • Patrice Godefroid (Microsoft Research): Software model checking

  • Joost-Pieter Katoen (RWTH Aachen): Verification and modeling of continuous-time Markov models

  • Marta Kwiatkowska (Oxford): Quantitative verification techniques for probabilistic software

  • Colin Stirling (Edinburgh): Bisimulation and logic

  • Wang Yi (Uppsala): Modeling and Analysis of Timed Systems

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

    重要日期:

  • 2010年8月30日:申请截止
  • 2010年9月10日:通知申请结果
  • 2010年10月10日:讲习班报到