近日，接国家自然科学基金委通知，我校薛锦云教授申报的国家自然科学基金国际（地区）合作与交流项目《第十届构件化软件形式化方法国际研讨会及相关前沿技术讲习班》获得立项，立项编号为：61310306044。至此，我校共获得2013年度国家自然科学基金项目59项。（文/科技处）