2020年11月24日在数学院南楼N204召开了2020年数学机械化战略研讨会暨实验室总结会。此次会议由实验室主任支丽红研究员主持，实验室80余位老师以及学生参加了此次会议。

实验室19位科研人员首先依次做了2020年的总结汇报。汇报结束后，实验室全体成员召开了数学机械化实验室发展战略研讨会。大家分别就增强人才引进力度、规范研究生培养制度、合理布局实验室研究方向、在新的科技环境下发展交叉学科建设、巩固并拓宽数学机械化领域等议题展开了热烈讨论。