计算和交互是现代计算机科学研究领域的核心课题之一。本次会议集中关注计算和交互研究领域的若干重要、关键问题,包括对各种计算、交互模型的深入学习和讨论,以及对表达能力、公理化、证明系统等方面的研究和讨论。会议旨在集中领域内的顶级专家,共同学习和研究领域课题,为培养、启迪更多研究人员提供更好的机会和更宽广的平台。
BASICS暑期研讨会和学习班(BASICS Workshop and Summer School)是上海交通大学BASICS实验室(Laboratory for Basic Studies in Computing Science)主办的每年一次的学术活动,其宗旨是为国内理论计算机科学工作者和学生提供一个交流研究结果和前沿动态的机会。从2000年开始,BASICS实验室已成功连续地举办了八届BASICS暑期研讨会和学习班:BASICS2000,上海交通大学,类型和论域;BASICS2001,北京中科院软件所,线性逻辑和博弈语义;BASICS2002,浙江莫干山,算法与复杂性;BASICS2004,上海交通大学,信息安全与密码学;BASICS2005,扬州大学,并发计算理论及其应用;BASICS2006,上海交通大学,理论计算机科学的前沿问题;BASICS2007,浙江安吉,算法、计算复杂性、密码学基础;BASICS2008,贵州大学,算法与图论应用。
本届BASICS暑期学习班以“计算与交互”为主题,我们邀请了多位该领域知名专家: (按姓氏字母顺序):
学习班同时安排自由报告时间,每位与会者均有机会在会上介绍各自的研究成果。请有意者于报名时递交报告申请(包括报告的题目和内容摘要),申请报告的内容必须是已经发表的(申请时必须注明该内容发表在何处)。
请您下载注册表,填写后于2009年9月10日之前发送至 basics@sjtu.edu.cn,并在邮件中注明住宿地点、是否合住等情况。
报到时间 | 2009年10月11日8:30-20:30 |
报到地点 | 上海市华山路1954号,上海交通大学徐汇校区,新建楼,2023室 |
住宿 |
|
注册费用 | 1500元(学生:1000元),住宿和交通费用自理,早、中、晚餐由会议提供 汇款信息如下: 户名:上海交通大学 开户银行:中国银行上海市港汇广场支行
银行账号:044544-8500-00793828093001 汇款时请注明:PA033007-BASICS09+您的姓名 请在汇款后将汇款凭证扫描件发送到basics@sjtu.edu.cn,以便查询。 如果您不方便汇款,您可以在参加BASICS2009时现金注册。 |
注册截止日期 | 2009年9月10日,逾期住房不能保证 |
报到路线 | 上海火车站—①乘坐出租车约28元;②地铁一号线徐家汇站下,从12号或13号出口出来后步行10分钟左右即到;③乘坐113路到番禺路站下,步行3分钟即到 虹桥机场—①乘坐出租车约40元;②乘坐806路到交通大学站下车步行5分钟即到 浦东机场—①乘坐出租车约140元;②乘坐机场三号线(18元)到徐家汇站下车步行15分钟即到 |
联系方式 | 上海市东川路800号上海交通大学计算机系 邮编:200240 联系人:董笑菊,龙环 Tel: 021-34205060转601 Fax: 021-34204728 |