6月16日，由江西省科协和江西师大联合主办的首届计算机科学和软件新技术国际学术论坛，历时十天，园满结束。省�{校软件科技中心作为这次国际学术论坛的主要发起和筹划单位，受到了极大的鼓舞和鞭策。多位国际著名计算机科学家和孟建柱等省领导亲临软件中心和省重点实验室访问视察，高度评价了我们已经取得的科研成果，并对进一步开展高水平创新研究，培养和造就杰出人才，提出了指导性意见和殷切的希望。
　　 美国康奈尔大学图灵奖获得者霍普克罗夫特教授在我校党委副书记、常务副校长眭依凡、校长助理张平陪同下于九日下午在省高校软件科技中心访问。霍普克罗夫特教授认真听取了软件中心和省重点实验室主任薛锦云教授对软件形式化和自动化课题组在国家973、863和国家自然科学基金等9项国家级课题连续资助下形成的软件开发的PAR方法和PAR平台的成果介绍和演示。当霍普克罗夫特看到由他和他的学生陶里扬共同发明且因此而获得图灵奖的图平面性算法已被薛锦云等改进、并用PAR平台提供的Ap1a语言和方法进行描述和验证，最后由平台生成C++程序，显得十分高兴，连连称赞PAR方法和PAR平台是一项很有意义的重大研究成果，是十分激动人心和令人鼓舞的。他愿意为PAR方法和PAR平台的进一步发展提供帮助。
　　 美国康奈尔大学信息科学学院副院长戴维.格里斯教授作为薛锦云教授的导师和合作伙伴，化了一整天的时间在实验室听取和观看PAR方法和PAR平台的介绍和演示。他对每一个技术细节都询问得十分仔细。当他看到自己的许多思想和理念在康奈尔大学没能实现，却在江西师范大学得到实现和发展后，这位世界程序设计理论和方法的杰出倡导者和开拓者显得十分激动。他迫切希望课题组尽快将取得的成果写成英文论文，向国际顶级学术期刊投稿。他愿意提供写作技巧和英文表达方面的帮助。
　　 莱斯特大学是在英国排名前l6位的著名大学。该校计算机系主任菲亚代罗教授和联合国大学国际软件技术研究所刘志明研究员在软件科技中心着重就科学研究和高层次人才培养方面的合作进行了认真友好的讨论，在许多方面取得了共识，并同意立即以PAR方法和PAR平台为基础，联合申报国际合作项目。
　　 孟建柱书记、胡振鹏副省长以及相关厅局领导在学校领导陪同下视察了本中心博士生工作室，听取了本中心和实验室主要研究成果的汇报和演示。孟书记十分认真仔细地观看了PAR平台快速生成可执行算法和程序的过程，一再要求演示逻辑关系十分复杂的图平面性算法。演示结束后，孟书记仔细询问了PAR平台创新性研究的过程，对成果的进一步发展和杰出人才的培养提出了殷切的希望。40多分钟的面对面交谈，孟书记平易近人，和蔼可亲，求真务实的工作作风，以及对创新型研究和创新型人才培养�{屋建瓴、驾轻就熟的精辟论述给我们留下了十分深刻的印象。
　　 论坛召开期间我们还和参加论坛的国内院士和著名专家就科研方向和学科建设方面的问题进行了广泛的交流和讨论，也获得了丰硕的成果。
　　 高水平国际学术论坛的成功举办为省高校软件科技中心和省重点实验室向高层次、高水平方向发展提供了契机。我们将紧抓这一契机，充分利用国家和学校制订的一系列政策，力争实现学科平台建设的新跨越。（省高校软件科技中心）