• 主题: 无限状态系统验证
  Topic: Verification on Infinite State Systems
• 时间: 2013年8月18日 – 2013年8月23日
• 地点: 上海交通大学徐汇校区教师活动中心二楼大会议室
• 主办单位: 上海交通大学
• 大会主席:   傅育熙教授

        鉴于并行程序分析和验证日益重要，无限状态系统的分析与验证近年成为研究热点，研究者提出了各种研究无限状态系统验证问题的方法。无限状态系统验证大致可分为等价验证和模型验证，所研究的系统可分为离散的、实时的、混合的。BASICS 2013暑期学习班研讨的主题将聚焦在“离散无限状态系统的等价验证”。

         BASICS 2013暑期学习班将于2013年8月19日至23日在上海交通大学举行，拟邀请国内外领域专家做专题讲授和研讨。学习班同时安排自由报告时间，每位与会者均有机会在会上介绍各自的研究成果。请有意者于报名时递交报告申请（包括报告的题目和内容摘要），申请报告的内容必须是已经发表的（申请时必须注明该内容发表在何处）。

        BASICS暑期研讨会和学习班(BASICS Workshop and Summer School)是上海交通大学BASICS实验室(Laboratory for Basic Studies in Computing Science)主办的每年一次的学术活动，其宗旨是为国内理论计算机科学工作者和学生提供一个交流研究结果和前沿动态的机会。从2000年开始，BASICS实验室已连续举办了十二届BASICS暑期研讨会和学习班：BASICS 2000 (类型和论域)；BASICS 2001 (线性逻辑和博弈语义)；BASICS 2002 (算法与复杂性)；BASICS 2004 (信息安全与密码学)；BASICS 2005 (并发计算理论及其应用)；BASICS 2006 (理论计算机科学的前沿问题)；BASICS 2007 (算法、计算复杂性、密码学基础)；BASICS 2008 (算法与图论应用)；BASICS 2009 (计算与交互)； BASICS 2010 (类型与程序语言)；BASICS 2011 (算法博弈论)；BASICS 2012 (论域理论及应用)。

请您下载BASICS2013暑期研讨会暨学习班回执登记，填写后于2013年7月20日之前发送至basics@sjtu.edu.cn，谢谢！