国家自然科学基金“可信软件基础研究”重大研究计划项目学术交流会于2009年于18-19日在上海华东师范大学召开举行。

熊伟教授申报的选题2008年从管理口获得立项批准（管理口2008年共批准3项），在项目学术交流会上，重点介绍了项目的研究思路、研究进展、研究成果、及对重大研究计划整体目标的贡献。

所有2008和2009年获得资助的项目负责人全程参加了一天半的项目交流，重大研究计划指导专家组在会议期间进一步商讨了明年项目指南的有关事宜。