2005年年底，软件所结题的基金项目有10项，在2006年3月底全部按要求上报结题总结报告和科研成果。

    2006年7月15日，基金委按照规定已经审核完毕，正式通知这10项项目准予结题。

    2007年3月6日，信息科学部的6个面上项目的评估结果也已见分晓，其中1个特优、4个优，1个良。周巢尘的《60273022实时系统设计的形式化方法》获得特优；孙乐的《60203007基于语言知识库的统计翻译模型研究》、董韫美的《60273023上下文无关语言的递归函数理论的后续研究》、李广元的《60273025连续时间时序逻辑LTLC的公理化和可判定性研究》、李明树的《60273026Internet/Web环境下用户主导的需求获取与协同机制研究》项目获得“优”。

    特此祝贺！