基本情况
- 主题：
理论计算机科学的前沿问题
Topic:
Summer School on Cutting-Edge Problems in Theoretical Computer Science
- 时间：
2006年10月26日至29日
- 地点：
上海交通大学
- 主办单位：
上海交通大学计算机科学与工程系，上海高校理论研究中心 (BASICS实验室)
组织
- 程序委员会：
主席 傅育熙教授
- 组委会：
董笑菊、濮阳、龙环、罗正钦、陈梅菊、苏志华
报告人及内容
- 陆汝钤院士: Children Turing Test
- 何积丰院士: A Model for BPEL-Like Languages
- 应明生教授: The Quantum Loop Problem
- 傅育熙
教授: The Expressiveness of Interaction
- 柳欣欣研究员: Call by Name, Call by Value and
CPS Encoding
- 蒋颖研究员: Tree Automata
- 李舟军教授: Formal Verification of Security Protocol
- 苏开乐教授: Model Checking, AI and
Satisfiability
- Rudolf
Fleischer博士: Alternative Models of Computation
- 朱允山博
士: Bounded Model Checking and its Applications
- 陈翌佳
博士: On Fagin-Definability
- 邓玉
欣博士: Tutorial on Probabilistic Process Calculus
- 曹子宁博士: Bisimulations for Higher Order Processes
- 蒋颖: On the Open Problem of Amadio and Curien:
the Finite Antichain Condition
- 傅育
熙: The Necessary Condition of the Fixpoint Theorem in Process
Algebra
- 严奇琦:
Lower Bounds for the Complementation of Omega-Automata
- 陈仪香: Logical Semantics of Probability
Computations
- 许道云: The Complexity of Homomorphisms and
Renamings for Minimal Unsatisfiability
- 冯嘉礼: 定性映射与智能计算中的几种方法的统一问题
- 赵世忠: Dixon结式矩阵的快速算法
活动
夜游上海
精彩剪辑：课上和活动