Basics lab
基本情况
报告人及内容

        鉴于并行程序分析和验证日益重要,无限状态系统的分析与验证近年成为研究热点,研究者提出了各种研究无限状态系统验证问题的方法。无限状态系统验证大致可分为等价验证和模型验证,所研究的系统可分为离散的、实时的、混合的。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,谢谢!

报到时间 2013年8月18日8:30-20:30
报到地点 上海市华山路1954号,上海交通大学徐汇校区,新建楼,2023室
住宿

1. 教师活动中心,标准间(两张床位):420元/间/天,可合住;
2. 博学楼,标准间(两张床位):360元/间/天,可合住;
3. 博学楼,三人房(三张床位):450元/间/天,可合住。

注册费用

1500元/人(学生:1000元/人)。
住宿和交通费用自理,中、晚餐由会议提供。

汇款信息如下:
账户名称:上海交通大学
银行账号:439059226890
开户银行:中国银行上海市交通大学支行

汇款时请注明:BASICS13+姓名

注册截止日期 2013年7月20日,逾期住房不能保证。
报到路线

浦东机场
①乘坐出租车约170元;
②乘坐机场三号线(18元)到徐家汇站下车步行15分钟;
③乘地铁2号线-->南京东路站下-->换乘10号线-->交通大学站下-->4号出口往西走100米即可到交通大学2号门淮海西路125号。

虹桥枢纽(虹桥火车站,虹桥机场T1&T2航站楼)
①乘坐出租车约40元(T1)或65元(火车站&T2);
②乘地铁10号线-->交通大学站下-->4号口向西走100米即到交通大学2号门淮海西路125号。

上海火车站&上海南站
①乘坐出租车约30元(火车站)或20元(南站);
②地铁一号线徐家汇站下,从12号或13号出口出来后步行10分钟左右即到。

联系方式

地址:  上海市东川路800号上海交通大学计算机科学与工程系(邮编200240)
联系人: 董笑菊
Tel:  021-34205060转602,  Fax: 021-34204728
E-mailbasics@sjtu.edu.cn

日程安排
请点击下载日程安排


Last updated: August 22, 2013