10月28日，第十届构件化软件形式化方法国际研讨会开幕式（简称“FACS 2013”）在我校国际学术交流中心举行。中国科学院院士周巢尘、美国康奈尔大学著名教授David Gries、美国德克萨斯大学奥斯汀分校知名教授Jayadev Misra、英国伦敦大学皇家霍洛威学院José Luiz Fiadeiro教授和英国伯明翰城市大学Zhiming Liu 教授出席会议。来自法国弗朗什孔泰大学、意大利博洛尼亚大学、德国亚琛工业大学、英国利物浦大学、法国国家信息与自动化研究所、荷兰埃因霍温理工大学、丹麦奥尔堡大学、德国慕尼黑工业大学、意大利佛罗伦萨大学、捷克马萨里克大学、北京大学、中国科学院和华东师范大学等国内外知名院校的专家、学者参加了会议。
　　开幕式前，校党委书记田延光、校长梅国平、副校长涂宗财在知行楼第一接待室会见了周巢尘院士、David Gries教授等与会代表，对各位专家、教授来校指导工作表示欢迎。梅国平、涂宗财并出席了研讨会开幕式。
　　梅国平在会议开幕式上致辞，代表我校全校师生员工对各位专家学者的到来表示热烈欢迎，对大会的召开表示祝贺。他并简要介绍了学校的基本情况，指出计算机学科是我校传统优势学科，在国际交流方面具有较好基础，希望籍本次会议的召开进一步加大开放合作。
 　 FACS 2013由省高性能计算重点实验室承办，由实验室主任薛锦云教授担任会议主席，旨在探讨在新体系结构及新社会-经济融合环境下，如何围绕构件、服务和软件建模将形式化方法应用在基于构件的软件开发中。
　　FACS国际会议由欧美多所著名大学联合发起，汇集了欧美发达国家软件构件形式化领域的知名专家，已在美国、挪威、葡萄牙和荷兰等地成功举办9届。FACS 2013会议在我校成功召开，反映了省高性能计算重点实验室在软件形式化领域的国际影响力，进一步拓展了实验室的对外交流与合作，为提升我校在计算机科学领域的国际知名度起到良好促进作用。（文/省高性能计算重点实验室 图/黄志刚）