由省高性能计算重点实验室为迎接7O周年校庆和完成国际科技合作项目举办的“面向服务建模的形式化方法和XML路径语言的理论问题”暑期讲习班已经圆满结束。7月28日下午，讲习班举行了简朴而又热烈的结业仪式，副校长赵明出席并作讲话。
　　赵明首先对远道而来的两位英国学者表示热烈欢迎和衷心感谢，对不畏酷暑参加讲习班的省内外教学科研人员的敬业精神表示赞赏。然后, 赵明向英国专家介绍了实验室主任薛锦云教授及其领衔的学术团队在软件形式化和自动化领域取得的学术成就，及其在国际国内产生的重要影响，并特别指出这在一所省属地方院校是难能可贵的。最后，赵明预祝我校和英国莱斯特大学的科技合作项目和研究生联合培养项目取得圆满成功。
　　英国学者对学校领导对科技和教育合作项目的支持和重视表示感谢，对省高性能计算重点实验室提供的极好的工作和生活环境感到满意和高兴。薛锦云在总结发言时，高度赞扬了两位英国学者讲授内容的前沿性、讲授方式的科学性和讲授态度的严肃认真。最后，每个在场的讲习班学员都用简短的英语，表达了参加讲习班的收获和感受。
　　作为科技合作的重要活动，实验室组织英国专家和课题组部分成员参观了上海世博会。两位英国专家对上海世博会的宏伟气势和中国馆展现的我国改革开放取得的巨大成就以及发展远景，感到由衷的钦佩和赞赏，更加坚定了和我校长期开展科技和教育合作的信心。(文/省高性能计算重点实验室 图/董江洪)