3月21-22日，数学机械化重点实验室参加了国家自然科学基金委主持的国家重点实验室和部门重点实验室评估。实验室主任高小山教授首先向各位专家、领导详细汇报了实验室的发展历程、研究方向、承担的任务和主要科研成果，以及实验室队伍建设、人才培养、科研环境等。实验室相关学术带头人也分别汇报了近年来各自的学术研究进展。专家们还对实验室进行了现场考察并对部分实验室成员进行访谈，对实验室建设的各个方面提出宝贵意见和建议。评估结束时专家组向实验室口头宣布了评估意见， 对实验室5年来的工作给予了肯定。郭雷院长代表数学与系统科学研究院感谢专家组来我院评估和指导工作。