国内外学术交流与合作情况

多方位促进学术交流
1.有31国(境)内外学者担任我室客座教授与兼职教授,聘请部分国(境)外客座教授。
2.2002至2006年的五年间,实验室共有150多人次出国(境)访问、讲学或参加国际会议;共邀请300多人次国内外知名专家学者来实验室访问和讲学。
广泛建立合作关系,多层次开展合作

1.实验室与日本筑波大学、东京大学、京都大学、日本高等科学研究院等单位就海量信息系统计算模型、开放逻辑和开放计算等问题建立了讲学、交流和合作研究关系。
2.实验室研究人员在德国马克斯普朗克计算机科学研究所(MPI)进行讲学、交流。
3.实验室与英国利兹大学建立联合实验室(CoLaB),给出了面向网格中间件的3个层次互操作解决方案,实现了基于CROWN构建的中英远程网格试验环境。

发起国际性基础研究学会,组织国际和国内学术研讨会
1.发起成立“亚洲软件基础学会”
2.主办第一届亚洲程序设计语言与系统学术会议.
3.主办亚洲软件基础学术研讨会
4.承办人工智能重要国际会议AISC'06