Basics'09: Summer School: Basic Studies in Computing Science

BASICS2009暑期研讨会暨学习班

基本情况
  • 主题: 计算与交互 (Computation and Interaction)
  • 时间: 2009年10月12日至16日
  • 地点: 上海交通大学徐汇校区教师活动中心二楼八角厅
  • 主办单位: 上海交通大学计算
  • 主席:傅育熙 教授
  • 报告人及内容

    本届BASICS暑期学习班以“计算与交互”为主题,我们邀请了多位该领域知名专家: (按姓氏字母顺序):

  • Yuxin Deng, Shanghai Jiao Tong University, China
  • Yuxi Fu, Shanghai Jiao Tong University, China
  • Rob van Glabbeek,NICTA, Australia
  • Daniele Gorla,Universita di Roma "La Sapienza", Italy
  • Matthew Hennessy, Trinity College Dublin, Ireland
  • Uwe Nestmann,TU Berlin, Germany
  • Catuscia Palamidessi, INRIA, France
  • Davide Sangiorgi,Universita di Bologna, Italy


  • 他们将分别介绍以下方面的研究工作:
  • Characterisations of probabilistic bisimulation
  • Expressive Completeness
  • Comparative Semantics
  • Relative Expressiveness
  • Testing nondeterministic and probabilistic processes
  • Encodings into Asynchronous pi
  • On the Expressiveness Power of Synchronization Primitives in π
  • Bisimulation and Coinduction
  • 学习班同时安排自由报告时间,每位与会者均有机会在会上介绍各自的研究成果。请有意者于报名时递交报告申请(包括报告的题目和内容摘要),申请报告的内容必须是已经发表的(申请时必须注明该内容发表在何处)。

    注册

    请您下载注册表,填写后于2009年9月10日之前发送至 basics@sjtu.edu.cn,并在邮件中注明住宿地点、是否合住等情况。

    报到时间 2009年10月11日8:30-20:30
    报到地点 上海市华山路1954号,上海交通大学徐汇校区,新建楼,2023室
    住宿
    1. 博学楼,标准间(两张床位):250元/间/天,可合住
    2. 博学楼,三人房(三张床位):270元/间/天,可合住
    3. 教师活动中心,标准间(两张床位):260元/间/天,可合住
    4. 教师活动中心,三人房(三张床位):360元/间/天,可合住
    5. 教师活动中心,豪标:358元
    6. 天平宾馆,参考价格:经济标间268元,标间368元,行政标间418元
    7. 建工锦江大酒店,标房:438元
    说明
    1. 由于天平宾馆10月份装修,无法接待客人,因此需要入住天平宾馆的话可以入住建工锦江大酒店
    2. 位置:博学楼,徐汇校区华山路校门对面;教师活动中心,徐汇校区校园内;建工锦江大酒店,距离徐汇校区800米左右
    3. 以上价格都不含早餐,早餐由会议提供
    4. 天平宾馆价格随季节变化,10月份的价格9月份公布
    5. 教师活动中心住房有限
    注册费用

    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

    E-mail: basics@sjtu.edu.cndong-xj@cs.sjtu.edu.cn

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


  • Last updated: Jun 17, 2009