2024年5月31日上午，由CCF主办，CCF形式化方法专业委员会、新疆高等师范专科学校信息科学与技术学院承办的“CCF形式化方法专委走进新疆高等师范专科学校”在新疆师范高等专科学校（新疆教育学院）崇德楼Z115报告厅举行。会议邀请了西南大学刘志明教授、西北工业大学董云卫教授、华东师范大学郭建副教授、国防科技大学董威教授、中国科学院软件研究所吴志林研究员做特邀报告，活动吸引了新疆高等师范专科学校信息科学与技术学院部分师生200余人参加。活动由新疆高等师范专科学校科研处负责人倪青山教授（援疆）主持。

活动伊始，新疆高等师范专科学校木开依·加尔肯别克校长致辞，对各位专家学者的到来表示热烈的欢迎和衷心的感谢。接下来，CCF形式化方法专委会董威副主任致辞，对新疆高等师范专科学校对本次活动的支持表达谢意，希望此次活动能够促进新疆高等师范专科学校信息科学与技术学院师生对形式化方法的了解，促进形式化方法专委与新疆高等师范专科学校的进一步交流合作。

随后，刘志明教授做《逻辑思维与计算思维并兼谈机器智能的能力》报告，对从计算机科学诞生以来逻辑思维与计算思维的联系进行了深入阐述。

董云卫教授做《智能软件工程理论概述》报告，对智能软件工程的历史、现状、和挑战进行了分析总结。

郭建副教授做《基于PC-ABAC模型的Linux 安全文件系统》报告，对Linux操作系统中基于PC-ABAC模型的文件访问控制机制的设计与实现进行了介绍。

董威教授做《人机物融合计算技术及应用》报告，对人机物融合的内涵、外延、研究现状、与未来研究方向展望进行了系统性的阐述和介绍。

吴志林研究员做《计算机软硬件基础设施的形式化验证》报告，对形式验证技术在芯片设计、操作系统等方面的应用进行了总结回顾，并对未来进行了展望。

报告之后，5位报告人与在场的新疆高等师范专科学校信息科学与技术学院部分师生进行了交流互动，活动取得圆满成功。